#include <bits/stdc++.h>

using namespace std;
typedef long long ll;

int main() {
  vector<int> a(4);
  for (int i = 0; i < 4; ++i) cin >> a[i];

  sort(a.begin(), a.end());
  bool is_valid = true;
  for (int i = 1; i < 4; ++i) {
    if (a[i] - a[i - 1] != 1) is_valid = false;
  }

  if (is_valid) puts("Yes");
  else puts("No");
  return 0;
}