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

if R > C:
    (C, R) = (R, C)

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

echo ans