#include #include #include #include #include #include #include #define REP(i,a) for (int i = 0;i < (a);++i) #define FOR(i,a,b) for (int i = (a);i < (b); ++i) #define FORR(i,a,b) for (int i = (a);i >= (b); --i) #define ALL(obj) (obj).begin(),(obj).end() #define SORT(list) sort(ALL((list))); #define MOD 1000000007 using namespace std; using ll = long long; int main(){ vectora(4); REP(i,4){ cin >> a[i]; } SORT(a); REP(i,3){ if(a[i+1]-a[i]!=1){ cout << "No" << endl; return 0; } } cout << "Yes" << endl; return 0; }