r, c = map(int, input().split())

if r > c:
    r, c = c, r
ans = (r // 2) * c
if r % 2 == 1:
    ans += c // 2
    if c % 2 == 1:
        ans += 1
print(ans - 1)