a, b = gets.split.map(&:to_i) if a % 2 == 0 puts a * b / 2 - 1 else puts (a - 1) * b / 2 + (b + 1) / 2 - 1 end