{-# OPTIONS_GHC -O2 -funbox-strict-fields #-}
import qualified Data.ByteString.Char8 as BC
import           Data.Maybe            (fromJust)

main :: IO ()
main = do
  [a, b] <- map readInt . BC.words <$> BC.getLine
  putStrLn $ if solve a b then "Yay!" else ":("

solve :: Int -> Int -> Bool
solve a b = a <= 8 && b <= 8

readInt :: BC.ByteString -> Int
readInt = fst . fromJust . BC.readInt
