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