#include<bits/stdc++.h>
using namespace std;
using Int = long long;
template<typename T1,typename T2> inline void chmin(T1 &a,T2 b){if(a>b) a=b;}
template<typename T1,typename T2> inline void chmax(T1 &a,T2 b){if(a<b) a=b;}

//INSERT ABOVE HERE
signed main(){
  Int y,m,d;
  cin>>y>>m>>d;
  auto YES=[](){cout<<"Yes"<<endl;exit(0);};
  auto NO=[](){cout<<"No"<<endl;exit(0);};

  if(1989<y&&y<2019) YES();
  if(y<1989||2019<y) NO();
  if(y==1989){
    if(1<m) YES();
    if(8<=d) YES();
    NO();
  }
  if(y==2019){
    if(m<4) YES();
    if(m>4) NO();
    if(d<=30) YES();
    NO();
  }
  return 0;
}