R, C = [int(i) for i in input().strip().split(" ")]
ans = 0

if R % 2 != 0 and C % 2 != 0:
    ans = (R * C - 1) // 2
else:
    ans = R * C // 2 - 1

print(ans)