#include <stdio.h>
int main(){
	int L=0,K;
	int i = 0;
	scanf("%d %d",&L,&K);
	while(2*K<L){
		L = L - 2*K;
		i = i + K;
	}
	printf("%d",i);
	
}