#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
ll GCD(ll x,ll y){
    if(y == 0) return x;
    else return GCD(y,x%y);
}
const int MOD = 1000000007;

int main() {
    vector<int>vec;
    string ans = "Yes";
    for(int i = 0;i < 4;i++){
        int a; cin >> a;
        vec.push_back(a);
    }
    sort(vec.begin(),vec.end());
    for(int i = 0;i < 3;i++){
        if(vec[i]+1 != vec[i+1]){
            ans = "No";
        }
    }
    cout << ans;
}