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