R,C = map(int,raw_input().split())
ans = R * C
if R == C:
	ans = ans / 4
else:
	ans = ans / 2
if R % 2 + C % 2 > 1:
	ans += 1
print ans - 1