#include <bits/stdc++.h>
#ifdef _DEBUG
#include "debug.hpp"
#else
#define debug(...)
#endif
#define fastIO (cin.tie(0), cout.tie(0), ios::sync_with_stdio(false))
#define rep(i, n) for (int i = 0; i < (n); ++i)
#define precise(i) fixed << setprecision(i)
using ill = int64_t;
using ull = uint64_t;
using namespace std;

void solve() {
  int y, m, d;
  cin >> y >> m >> d;

  bool is_heisei = false;
  if (1990 <= y && y <= 2018) {
    is_heisei = true;
  } else if (y == 1989) {
    if (m >= 2)
      is_heisei = true;
    else if (m == 1 && d >= 8)
      is_heisei = true;
  } else if (y == 2019) {
    if (m <= 3)
      is_heisei = true;
    else if (m == 4 && d <= 30)
      is_heisei = true;
  }

  if (is_heisei)
    cout << "Yes" << '\n';
  else
    cout << "No" << '\n';
}

void wrapper() {
  rep(i, 3) {
    cout << "[TEST " << i << "]\n";
    solve();
    cout << "\n";
  }
}

int main() {
  fastIO;
#ifdef _DEBUG
  wrapper();
#else
  solve();
#endif
}