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))