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