R,C = map(int,input().split())
if R == C:
    ans = (R * C - 1) // 4
else:
    ans = (R * C - 1) // 2
print(ans)