#yuki
import datetime

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