a=19890108
b=20190430
y,m,d=gets.split(" ").map{|e| e.to_i}
t=y*10000+m*100+d
puts (a<=t && t<=b)?("Yes"):("No")