r,c = map(int,raw_input().split())
print r*c/2**(1+(r==c))-(r*c&1==0)