y, m, d = map(int, input().split(' '))
m = '{:02}'.format(m)
d = '{:02}'.format(d)

Y = str(y)
M = str(m)
D = str(d)
day = Y + M + D
DAY = int(day.replace(' ', ''))

if 19890107 < DAY < 20190501:
    print('Yes')
else:
    print('No')