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

date = int('{year}{month:02}{day:02}'.format(year=y, month=m, day=d))

if 19890108 <= date <= 20190430:
    print("Yes")
else:
    print("No")