R, C = map(int, input().split())
if R % 2 == 1 and C % 2 == 1:
    print((R * C - 1) // 2)
else:
    print((R * C) // 2 - 1)