9.py

# скорость ребёнка = 0.5 колбаса/мин
t, kid_c = int(input()), int(input())
print(int(0.5 * t * kid_c))