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



signed main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout << fixed << setprecision(20);
    
    int a[4];
    for(int i=0;i<4;i++)cin>>a[i];
    sort(a,a+4);
    bool pos = true;
    for(int i=1;i<4;i++){
        if(a[i] == a[i-1]+1);
        else pos = false;
    }
    if(pos)cout << "Yes" << endl;
    else cout << "No\n";
}