#include<bits/stdc++.h>

using namespace std;
using ll=long long;
#define rep2(i, a, n) for(int i = (a); i < (n); i++)
#define rep(i, n) rep2(i,0,n)

int main(){
  cin.tie(nullptr);ios_base::sync_with_stdio(false);
  int y,m,d;cin>>y>>m>>d;
  //西暦1989年1月8日 から 西暦2019年4月30日 の区間に含まれる
  cout<<((y==1989&&m==1&&d>=8)||(y==1989&&m>=2)||(y>1989&&y<2019)||(y==2019&&m<=3)||(y==2019&&m==4&&d<=30)?"Yes":"No")<<endl;
}