per_second,second = map(lambda x:x[0](x[1]),zip([float,int],input().split()))
ps = int((per_second * 2 * 10000 + 1) // 2)
distance = ps * second // 10000
print(distance)