r,c = gets.chomp.split.map(&:to_i)
puts (r * c / 2 + r * c % 2)