#include <stdio.h>

int main(){
	
	int arr[4];
	for(int i = 0;i < 4;i ++){
		scanf("%d",&arr[i]);
	}
	
	// バブルソート（昇順）
	for(int i = 0;i < 4;i ++){
		for(int j = 0;j < 4;j ++){
			if(arr[i] < arr[j]){
				int tmp = arr[i];
				arr[i] = arr[j];
				arr[j] = tmp;
			}
		}
	}
	
	if(arr[0] + 1 == arr[1] && arr[0] + 2 == arr[2] && arr[0] + 3 == arr[3]){
		printf("Yes");
	}else{
		printf("No");
	}
}