import datetime

year, month, day = map(int, input().split())

start = datetime.datetime(1989, 1, 8)
end = datetime.datetime(2019, 4, 30)
q = datetime.datetime(year, month, day)

if start <= q <= end:
    print('Yes')
else:
    print('No')