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