import Data.List

g1 = [2]
g2 = [1,3,5,7,8,10,12]
g3 = [4,6,9,11]

main = do
    [a,b]  <- map read.words<$>getLine :: IO [Int]
    putStrLn $ case (a,b) of
        (a,b) | a `elem` g1 && b `elem` g1 -> "Yes"
        (a,b) | a `elem` g2 && b `elem` g2 -> "Yes"
        (a,b) | a `elem` g3 && b `elem` g3 -> "Yes"
        otherwise -> "No"
