L, K = map(int, raw_input().split())
ans = 0
while L - 2*K > 0:
    ans += K
    L -= 2*K
print ans