from datetime import datetime
y,n,d = map(int,input().split())
frm = datetime(1989, 1, 8)
end = datetime(2019, 4, 30)
now = datetime(y,n,d)
if frm<=now<=end:
    print('Yes')
else:
    print('No')