#include <stdint.h>
#include <stdio.h>
#include <string.h>

int main(void)
{
	uint32_t L, K;
	uint32_t ans;
	scanf("%u %u", &L, &K);
	ans = K * ((L - 1) / (2 * K));
	printf("%u\n", ans);
	return 0;
}