#pragma GCC optimize("O3")
#include <bits/stdc++.h>
 
using namespace std;

int main(void)
{
	cin.tie(0);
	ios::sync_with_stdio(false);

    int Y,M,D;

    cin >> Y >> M >> D;
    if(Y<1989 || Y>2019)
    {
        cout << "No" << '\n';
    }
    else if(Y==1989)
    {
        if(M>1)
        {
            cout << "Yes" << '\n';
        }
        else
        {
            if(D>=8)
            {
                cout << "Yes" << '\n';
            }
            else
            {
                cout << "No" << '\n';
            }
        }
    }
    else if(Y==2019)
    {
        if(M<=4)
        {
            cout << "Yes" << '\n';
        }
        else
        {
            cout << "No" << '\n';
        }
    }
    else
    {
        cout << "Yes" << '\n';
    }
    
	return 0;
}