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