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