R, C = map(int,raw_input().split())
s = R*C

print s/2