r,c = map(int, input().split())
a = r*c 
if r == c:
    if r%2 == 0:
        print((r//2)**2-1)
    else:
        print(((r+1)//2)**2-((r-1)//2)-1)

else:
    if a%2 == 0:
        print(a//2-1)
    else:
        print((a-1)//2)