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