#include <stdio.h>

int main(){
	// 入力された値
	int val[4];
	for(int i = 0;i < 4;i ++){
		scanf("%d",&val[i]);
	}
	// ソート（昇順）
	for(int i = 0;i < 4;i ++){
		for(int j = 0;j <4;j ++){
			if(val[i] > val[j]){
				int tmp = val[i];
				val[i] = val[j];
				val[j] = tmp;
			}
		}
	}
	for(int i = 1;i < 4;i++){
		if(val[i] != val[i -1] + 1){
			printf("No");
			return 0;
		} 
	}
	printf("Yes");
}