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

int main(){
    cin.tie(0);
    ios::sync_with_stdio(0);
    
    using T = tuple<int,int,int>;
    T L = {1989, 1, 8}, R = {2019, 4, 30};
    int y,m,d; cin >> y >> m >> d;
    T M = {y, m, d};
    cout << (L <= M && M <= R ? "Yes" : "No") << endl;
}