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

int main(){
    vector<int> a(4);
    for(int i=0;i<4;i++){
        cin >> a.at(i);
    }
    sort(a.begin(),a.end());
    bool flg=true;
    for(int i=0;i<3;i++){
        if(a.at(i)+1!=a.at(i+1)){
            flg=false;
        }
    }
    if(flg){
        cout << "Yes" << endl;
    }else{
        cout << "No" << endl;
    }
}