r,c=gets.split.map(&:to_i)
if r!=c then
    r,c=c,r if r<c
    if r.even? then
        p r/2*c-1
    else
        p r/2*c+(c+1)/2-1
    end
else
    p (r*c-1)/4
end