import datetime
y,m,d=map(int,input().split())
n=datetime.date(y,m,d)
if datetime.date(1989,1,8)<=n<=datetime.date(2019,4,30): print('Yes')
else: print('No')