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