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

int main() {
  vector<int> S(4);
  sort(S.begin(),S.end());
  if(S.at(3)==S.at(2)+1 && S.at(2)==S.at(1)+1 && S.at(1)==S.at(0)+1) cout<<"Yes";
  else cout<<"No";
}