R,C=map(int,raw_input().split())
ans = R*C
if R==C:
    ans = (ans+3)/4
else:
    ans=(ans+1)/2
print ans-1