import datetime as d;y,m,s=map(int,input().split());print("NYoe s"[d.datetime(1989,1,7)<d.datetime(y,m,s)<d.datetime(2019,5,1)::2])