R,C = gets.split.map(&:to_i).sort

if R.odd? && C.odd?
    p (R)*(C)/2+1-1
elsif R.even? && C.odd?
    p (C)*R/2-1
elsif R.odd? && C.even?
    p (R+1)*C/2-1
elsif R.even? && C.even?
    p R*C/2-1
end