sr=input().split()
n=int(sr[0])
m=int(sr[1])
print(n*m//2)
/**************************************************************
	Problem: 1539
	User: admin
	Language: Python
	Result: Accepted
	Time:558 ms
	Memory:34244 kb
****************************************************************/