require 'date'

# `年 月 日` の情報を受け取る
input = gets(chomp: true)


# スペース区切りで配列に変換する
strs = input.split

# `年` `月` `日` でそれぞれ数値に変換して変数に代入する
year  = strs[0].to_i
month = strs[1].to_i
day   = strs[2].to_i

# 西暦1989年1月8日 から 西暦2019年4月30日

a = Date.new(year, month, day)
b = Date.new(1989, 1, 7)
c = Date.new(2019, 4, 30)

if b <= a && a <= c
  puts "Yes"
else
  puts "No"
end