#include <stdio.h>

int main(void) {
	float K, L, j, total, i;
	int d, e;
	
	scanf("%f%f",&L,&K);
	
	i = L/(2*K);
	
	if (i==1){
	}
	else{
		d = (int)i;
		e = (int)K;
		printf("%d\n", d*e);
	}	
	return 0;
}