#include <cstdio>
int main(void){
    int Y,M,D;
    scanf("%d %d %d",&Y,&M,&D);
    if(1989*366+1*31+8<=Y*366+M*31+D*1
    && Y*366+M*31+D*1<=2019*366+4*31+30)printf("Yes\n");
    else printf("No\n");
    return 0;
}