#include<stdio.h>
int main(){
	int K,i=0,j=0;
	long long int L; 
	scanf("%lld%d",&L,&K);

for(;;){
	i=i+K*2;
	if(L<=i)
		break;
	j++;
}
j=j*K;
printf("%d\n",j);
return 0;
}