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

int main()
{
    int v[4];
    cin >> v[0], v[1], v[2], v[3];
    
    for(int i=0;i<4-1;i++){
        for(int j=4-1;j>=i+1;j--){
            if(v[j]<v[j-1])
                swap(v[j],v[j-1]);
        }
    }
    for(int i=0;i<4-1;i++){
        if(v[i]+1!=v[i+1]){
            cout << "No" << endl;
            return 0;
        }
    }
    cout << "Yes" << endl;
    return 0;
}