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