#include <stdio.h>
int main(void){
	int year, month, day;
	scanf("%d%d%d",&year, &month, &day);
	
	if(1989 == year && month == 1){
		if(day < 8){
			printf("No");
			return 0;
		}
	}else if(2019 == year && month > 4){
		printf("No");
		return 0;
	}else if(1989 > year || year > 2019){
		printf("No");
		return 0;
	}
	printf("Yes");
}