//Normal

#define _GLIBCXX_DEBUG
#define ll long long
#include <bits/stdc++.h>
using namespace std;
using Graph = vector<vector<int>>;

void print(auto a){
  cout << a;
}

void prints(auto a){
  cout << a << " ";
}

void prints(){
  cout << " ";
}

void printl(auto a){
  cout << a << endl;
}

void printl(){
  cout << endl;
}

void fix(int n){
  cout << fixed << setprecision(n);
}

int main(){
  vector<int> X(4);
  for(int i = 0; i < 4; i++) cin >> X[i];
  
  sort(X.begin(), X.end());
  
  for(int i = 1; i < 4; i++){
    if(X[i]-1 != X[i-1]){
      printl("No");
      return 0;
    }
  }
  
  printl("Yes");
  
  return 0;
}