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