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