#include<bits/stdc++.h>
#define rep(i, x) for(ll i = 0; i < x; i++)
#define rep2(i, x) for(ll i = 1; i <= x; i++)
#define all(a) (a).begin(),(a).end()
using ll = long long;
using ld = long double;
using namespace std;
signed main() {
    ll a, b, c; cin >> a >> b >> c;
	if (1990 <= a && a <= 2018) { cout << "Yes" << endl; }
	else if (a == 1989) {
		if (b >= 2) { cout << "Yes" << endl; }
		else {
			if (c >= 8) { cout << "Yes" << endl; }
			else { cout << "No\n"; }
		}
	}
	else if (a == 2019) {
		if (b <= 4) { cout << "Yes" << endl; }
		else {
			cout << "No\n";
		}
	}
	else { cout << "No\n"; }
	return 0;
}