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

int main(){
    cin.tie(0);
    ios::sync_with_stdio(false);
    vector<int> v(4);
    for (int i=0;i<4;++i) cin >> v[i];
    sort(v.begin(),v.end());
    int ok=1;
    for (int i=0;i<3;++i)
        if (v[i+1]-v[i]!=1) ok=0;
    cout << (ok?"Yes":"No") << '\n';
}