input = gets(chomp: true)

strs = input.split

year  = strs[0].to_i
month = strs[1].to_i
day   = strs[2].to_i

# example: 1989/1/8
# ymd -> 19890108
ymd = year*10000 + month*100 + day
puts (ymd >= 19890108 && ymd <= 20190430) ? "Yes" : "No"