puts '00 01 02 03 04 05 11 12 13 14 16 23 24 25 33 34 36 45'.index(gets.split.map{|e|e.to_i.abs}.minmax*'')?:YES: :NO