#include <iostream>
#include <vector>
#include <map>
#include<string>
#include<queue>
#include<math.h>
#define all(x) begin(x),end(x)
#define ll long long
#define P pair<int,int>
#define lP pait<ll,ll>
using namespace std;
int main() {
    int cnt=0;
    vector<int> a(4);
    for(int i=0;i<4;i++){
    cin>>a[i];
}
    for(int i=0;i<4;i++){
        for(int j=0;j<4;j++){
            if(a[i]+1!=a[j]) cnt++;
        }
    }
    if(cnt==13) cout<<"Yes"<<endl;
    else cout<<"No"<<endl;
    return 0;
}