puts [[0, 0], [0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [1, 1], [1, 2], [1, 3], [1, 4], [1, 6], [2, 3], [2, 4], [2, 5], [3, 3], [3, 4], [3, 6], [4, 5]].include?(gets.split.map{|e|e.to_i.abs}.minmax) ? :YES : :NO