R, C = gets.split.map(&:to_i)
total = R * C
if R%2==1 && C%2==1
    total -=1
end
if R==C
    total /=4
else
    total /=2
end
if R%2==1 && C%2==1
    total +=1
end
puts total - 1