from datetime import date

L = date(1989, 1, 8)
R = date(2019, 4, 30)

Y, M, D = map(int, input().split())

if L <= date(Y, M, D) <= R:
    print("Yes")
else:
    print("No")