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