#include "bits/stdc++.h"

using namespace std;

signed main() {

	int y, m, d;
	cin >> y >> m >> d;
	if (1988 < y&&y << 2020) {
		if (1989 < y&&y < 2019) {
			cout << "Yes" << endl;
			return 0;
		}
		if (y == 1989) {
			if (1 < m) {
				cout << "Yes" << endl;
				return 0;
			}
			if (1 == m && 7 < d) {
				cout << "Yes" << endl;
				return 0;
			}
		}
		if (y == 2019) {
			if (m < 5) {
				cout << "Yes" << endl;
				return 0;
			}
		}
	}
	cout << "No" << endl;
	system("pause");
	return 0;
}