puts [[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{|i|i.to_i.abs}.sort)?:YES:'NO'