#include <stdio.h>

int main(void){
	int all,bite;
	scanf("%d%d",&all,&bite);
	
	int count = 0;
	while(all > bite*2){
		all -= bite*2;
		count++;
	}
	printf("%d",bite*count);
}