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

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

print(ans)