import datetime as T
Y,M,D=map(int,input().split())
O='No'
if T.date(1989,1,7) < T.date(Y,M,D) < T.date(2019,5,1):O='Yes'
print(O)