R, C = map(int, input().split())

if R%2 == 1 and C%2 == 1:
    cnt = 1 + R*C//2
else:
    cnt = R*C//2

ans = cnt - 1
print(ans)