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

const vector<int> dx_2d = {1,-1,0,0};
const vector<int> dy_2d = {0,0,1,-1};

void Yyy(){
  cout << "Yes" << endl;
}

void Nnn(){
  cout << "No" << endl;
}

void fixprecision(){
  cout << fixed << setprecision(20);
}

template<class T> bool chmin(T& a,T b){
  if(a > b){
    a = b;
    return true;
  }
  else return false;
}

template<class T> bool chmax(T& a,T b){
  if(a < b){
    a = b;
    return true;
  }
  else return false;
}

int main(){
  vector<int> vec(4);
  for(int i=0;i<4;i++) cin >> vec[i];
  sort(vec.begin(),vec.end());
  bool flag = true;
  for(int i=1;i<4;i++) if(vec[i-1]+1 != vec[i]) flag = false;
  if(flag) Yyy();
  else Nnn();
}