#include <cstdio>
#include <algorithm>
#include <vector>
#include <set>
using namespace std;

int main() {
    set< vector<int> > S;
    for(int i=0; i<=97; i++) {
        vector<int> v = {i, i+1, i+2, i+3};
        do {
            S.emplace(v);
        }while(next_permutation(v.begin(), v.end()));
    }

    vector<int> A(4);
    for(int i=0; i<4; i++) scanf("%d", &A[i]);
    if(S.count(A)) puts("Yes");
    else puts("No");
    return 0;
}