#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int cmp(const void *a,const void *b){
    if(*(int*)a>*(int*)b){return -1;}
    else if(*(int*)a<*(int*)b){return 1;}
    else {return 0;}
}


int main(void){
int n,l[3];

for(int i=0;i<4;i++){
    scanf("%d",&l[i]);
}

qsort(l,n,sizeof(int),cmp);
//printf("%d%d%d%d",l[0],l[1],l[2],l[3]);
for(int i=1;i<3;i++){
if(l[i-1]-1!=l[i]){printf("No\n"); return 0;}
}
//printf("%d%d%d%d",l[0],l[1],l[2],l[3]);
printf("Yes\n");

}