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