#include <bits/stdc++.h>
#include <boost/multiprecision/cpp_int.hpp> // for use cpp_int
#include <boost/multiprecision/cpp_dec_float.hpp> // for use cpp_dec_float_100
#include <boost/date_time/gregorian/gregorian.hpp> // for use date
using namespace std;
using namespace boost::multiprecision;
using namespace boost::gregorian;
typedef long long ll;
#define rep(i, n) for(ll i = 0, i##_len = (n); i < i##_len; i++)
#define reps(i, s, n) for(ll i = (s), i##_len = (n); i < i##_len; i++)
#define rrep(i, n) for(ll i = (n) - 1; i >= 0; i--)
#define rreps(i, e, n) for(ll i = (n) - 1; i >= (e); i--)
#define all(x) (x).begin(), (x).end()
#define rall(x) (x).rbegin(), (x).rend()
#define sz(x) ((ll)(x).size())
#define len(x) ((ll)(x).length())
#define endl "\n"

int main() {
    cin.tie(0);
    ios::sync_with_stdio(false);
    // std::ifstream in("input.txt");
    // std::cin.rdbuf(in.rdbuf());
    ll y, m, d;
    cin >> y >> m >> d;
    date st = date(1989, 1, 8);
    date en = date(2019, 4, 30);
    date cd = date(y, m, d);
    if ((st <= cd) && (en >= cd)) {
        cout << "Yes" << endl;
    }
    else {
        cout << "No" << endl;
    }
    return 0;
}