r, c = [int(x) for x in input().split()]

d = 2
if r == c:
    d = 4
rc = r * c
state = 0
if rc % 2 == 0:
    state = rc // d
else:
    state = rc // d + 1
k = state - 1

print(k)