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

/////////////////// メイン ///////////////////

int main () {
  
  //////////////////// 入力 ////////////////////

  int n;
  // cin >> n;
  n = 4;

  vector<int> a(n);
  for (int i=0; i<n; i++) {
    cin >> a.at(i);
  }

  //////////////// 出力変数定義 ////////////////

  string result = "Yes";

  //////////////////// 処理 ////////////////////

  sort(a.begin(),a.end());

  for (int i=0; i<n-1; i++) {
    if (a.at(i)+1!=a.at(i+1)) result = "No";
  }

  //////////////////// 出力 ////////////////////

  cout << result << endl;

  //////////////////// 終了 ////////////////////

  return 0;

}