S=(input()*input()//2)
print(S)