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