import sys
read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines

from datetime import datetime

y,m,d = map(int,read().split())

x = datetime(y,m,d)
left = datetime(1989,1,8)
right = datetime(2019,4,30)

answer = 'Yes' if left <= x <= right else 'No'
print(answer)