puts [[1989,1,7],t=gets.split.map(&:to_i),[2019,5,1]].sort.index(t)==1?:Yes: :No