r,c = gets.split.map(&:to_i)

if r == c
    p (r * c + 3) / 4 - 1
else
    p (r * c + 1) / 2 - 1
end