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