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