{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE ScopedTypeVariables #-}
import Control.Monad

main :: IO ()
main = do
    [a :: Int, b :: Int] <- map read . words <$> getLine
    putStrLn $ solve a b
      where solve a b
                | [a, b] == [1, 3] || [a, b] == [3, 1] || [a, b] == [1, 1] = "Yes"
                | otherwise =  "No"
