x,y=gets.split.map{|i|i.to_i.abs}
puts x>6||y>6||[63,95,59,95,47,21,10][x][y]<1?:NO:'YES'