#include<stdio.h>

int main(void){
	int l,k,ans=0;

	scanf("%d %d",&l,&k);

	while(l>2*k){
		l -= 2*k;
		ans += k;
	}

	printf("%d\n",ans);
	return 0;
}