import datetime
y,m,d = map(int, input().split())

d = datetime.datetime(y,m,d)
d1 = datetime.datetime(1989,1,8)
d2 = datetime.datetime(2019,4,30)
if d1 <= d <= d2:
    print("Yes")
else:
    print("No")