(R, C) = map(int, input().split())

if R%2 == 0:
  print(int(C*R/2)-1)
else:
  if C%2 == 0:
    print(int(C*R/2)-1)
  else:
    print(int(C*R/2)+1)