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