R, C = map(int, input().split())
ceil = lambda a, b: (a + b - 1) // b
if R == C:
    print(ceil(R * C, 4) - 1)
else:
    print(ceil(R * C, 2) - 1)