input = gets.split()
year = input[0].to_i
month = input[1].to_i
day = input[2].to_i

if 1989<year && year<2019

    if year==1989 && month==1 && day<8
      puts "No"
    end

    if year==2019 && month<4 && day<30
      puts "No"
    end

    puts "Yes"

end