#include <bits/stdc++.h>
using longlong=long long;

int main(){
    std::cin.tie(nullptr);std::cin.sync_with_stdio(false);
    int a,b,c;std::cin>>a>>b>>c;
    std::cout<<(1989<a&&a<2019||a==1980&&(1<b||8<=c)||a==2019&&b<=4?"Yes":"No")<<std::endl;
}