n=raw_input()
N=map(int, n.split())
c=0
L, K=N[0], N[1]
yuu=0

while L>K*2:

    yuu+=K
    L-=K*2

print yuu