#include <stdio.h>

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