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