L, K = map(int, input().split())

l = 0
k = 0

l = L // 2*K
k = l * K
	
print(k)