#include #include #include #include using namespace std; typedef long long llint; llint a,b,c,d; void solve(){ cin >> a >> b >> c >> d; string ans="Yes"; llint x[4]={a,b,c,d}; sort(x,x+4); for(int i=0;i<3;i++){ if(x[i]+1==x[i+1])continue; else{ ans="No"; break; } } cout << ans << endl; } int main(int argc, char *argv[]) { solve(); return 0; }