R, C = map(int, input().split()) def solve(R, C): if R == C: div = 4 else: div = 2 if R & 1 and C & 1: return R * C // div else: return R * C // div - 1 print(solve(R, C))