import sequtils,strutils
var
    R,C : int64
    ans : int64
    
(R, C) = stdin.readline.split.map(parseBiggestInt)

if R == C:
    ans = (R * C + 3) div 4
else:
    ans = (R * C + 1) div 2

echo ans - 1