#include<iostream>
using namespace std;

void uru(int year)
{
    if(year%4==0 && year%100==0 && year%400==0){
        cout<<"Yes"<<endl;
    }
    else { cout<<"No"<<endl;}
}

int main()
{
    int Y,M,D;
    cin>>Y>>M>>D;
    if(1989<Y && Y<2019){ //平成
        if(M==2&&D==29){ uru(Y); } //閏年判定
        cout<<"Yes"<<endl;
    }
    else if(Y==1989){
        if(M==1&&D<8){
            cout<<"No"<<endl;
        }
        else { cout<<"Yes"<<endl; }
    }
    else if(Y==2019){
        if(M>4){
            cout<<"No"<<endl;
        }
        else { cout <<"Yes"<<endl;}
    }
    else { //西暦が平成でない
        cout<<"No"<<endl;
    }
    
    return 0;
}