#include<stdio.h>
int main()
{
	int l, k;
	scanf("%d %d", &l, &k);
	printf("%d\n", (l - 1) / (2 * k) * k);
	return 0;
}