#include <stdio.h>

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

    if(year == 1989){
        if(month >= 1 && day >= 8){
            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");
}