#include<bits/stdc++.h>
using namespace std;
int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    int a,b,c,d;
    cin>>a>>b>>c>>d;
    vector<int> numeros {a,b,c,d};
    sort(numeros.begin(),numeros.end());
    bool no_es = true;
    for (int i = 0; i < numeros.size()-1; i++)
    {
        if(numeros[i+1]!=(numeros[i]+1)){
            no_es=false;
            cout<<"No";
            return 0;
        }
    }
    cout<<"Si";
    

    return 0;
}