r, c = map(int, input().split())

rc = r * c - 1
print(rc // 2)