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

int main(){
	cin.tie(0);
	ios::sync_with_stdio(false);
	int y,m,d;cin >> y >> m >> d;
	y*=100;
	y+=m;
	y*=100;
	y+=d;
	if(y>=19890108 && y<=20190430) cout << "Yes" << endl;
	else cout << "No" << endl;
}