#include <stdio.h>

int main(){
    int year,month,day;
    scanf("%d%d%d",&year,&month,&day);

    if(year == 1989){
    	if(month == 1){
    		if(day > 7){
    			printf("Yes");
                return 0;
    		}else{
                printf("No");
                return 0;
            }
    	}else if(month > 1){
            printf("Yes");
            return 0;
        }else{
            printf("No");
            return 0;
        }
    }else if(year == 2019){
        if(month < 5){
            printf("Yes");
            return 0;
        }else{
            printf("No");
            return 0;
        }
    }else if(year > 1989 && year < 2019){
        printf("Yes");
        return 0;
    }
    printf("No");
}