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