#include <stdio.h>

int main(void){
    
    int X[4];
    scanf("%d%d%d%d",&X[0],&X[1],&X[2],&X[3]);
    
    int ex;
    for(int i=0;i<4;i++){
        for(int j=i+1;j<4;j++){
            if(X[i]>X[j]){
                ex = X[i];
                X[i] = X[j];
                X[j] = ex; }  }}
    
    if(X[1]==X[0]+1){
        if(X[2]==X[1]+1){
            if(X[3]==X[2]+1){
                printf("Yes\n");
                     return 0;          }}}
    
    printf("No\n");
    return 0;
}