main = getLine >>= print . solve . map read . words

solve :: [Integer] -> Integer
solve [r, c]
	| odd r && odd c = (r * c) `div` 2
	| otherwise = div (r * c) 2 - 1