#include <bits/stdc++.h>
#define rep(i,n) for(int i=0; i<(n); i++)
using namespace std;
typedef long long ll;

int main(){
	int y,m,d; cin>>y>>m>>d;
	if(y<1989||y>2019) cout << "No" << endl;
	else if(y==1989&&m==1&&d<8) cout << "No" << endl;
	else if(y==2019&&m>4) cout << "No" << endl;
	else cout << "Yes" << endl;	
}