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