#include <bits/stdc++.h>
using namespace std;

template<typename T>
void fin(T a){
  cout<<a<<endl;
  exit(0);
}
signed main(){
    int a,b,c,d;cin>>a>>b>>c>>d;
    set<int> s;
    s.insert(a);s.insert(b);s.insert(c);s.insert(d);
    if(s.size()<4)fin("No");
    if(*s.rbegin()-*s.begin()!=3)fin("No");
    fin("Yes");
}