r, c = map(int, input().split())
if r != c:
    print((r * c + 1) // 2 - 1)
else:
    if r % 2 == 0:
        print(r * c // 4 - 1)
    else:
        print(r * c // 4)