import Control.Applicative

main :: IO ()
main = do
    [a, b] <- map read . words <$> getLine
    putStrLn $　solve a b 
    
solve :: Int -> Int -> String
solve a b = if elem a [1,3,5,7,8,10,12] && elem b [1,3,5,7,8,10,12] 
            || elem a [4,6,9,11] && elem b [4,6,9,11] || a == 2 && b == 2
            then "Yes" else "No"