from datetime import date
d1 = date(1989, 1, 8) # Jan 8, 1989
d2 = date(2019, 4, 30) # Apr 30, 2019
d  = date(*map(int, input().split()))
print("Yes" if d1 <= d and d <= d2 else "No")