import Control.Applicative ((<$>))

main :: IO ()
main = solve <$> map read <$> words <$> getLine >>= print
  
solve :: [Int] -> Int
solve [r, c] = let rc = r * c
               in rc `div` 2 - if even rc then 1 else 0