#include <stdio.h>
int main(void){

  int L,K,i=0;

  scanf("%d",&L);
  scanf("%d",&K);

  while(L>2*K){
    L-=2*K;
    i++;
  }

  printf("%d\n",i*K);

return 0;
}