#include <stdlib.h>
int main() {
  float d;
  int a,b,c;
  scanf("%d %d\n",&a,&b);
  d=a/2.0;
  while(d>b){
    d-=b;
    c+=b;
  }
  printf("%d\n",c);
  return 0;
}