#include <stdio.h>
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000000

int main() {
    
	vector<int> a(3);
	rep(i,3)cin>>a[i];
	
	if(a >= vector<int>({1989,1,8}) && a <= vector<int>({2019,4,30}))cout<<"Yes"<<endl;
	else cout<<"No"<<endl;
	
    return 0;
}