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