# Read input
N, M = map(int, input().split())

# Calculate the maximum number of tetrominoes
K = (N * M) // 4

# Determine the minimal number of I tetrominoes
if N == 1 or M == 1:
    print(K)
else:
    print(0)