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