main = do
 [r,c] <- map read . words <$> getLine
 print (aku r c)

aku r c
 | even (r*c) = div (r*c) 2 - 1
 | otherwise = div (r*c-1) 2