r,c=gets.split.map(&:to_i)
p (r==c ?r/2:r)*(c/2)+(c%2>0?(r+1)/2:0)-1