#include <stdio.h>

int main(){
  int length, pace, times;
  printf("input length ; ");
  scanf("%d", &length);

  printf("input pace ; ");
  scanf("%d", &pace);

  times = (length-1)/(2*pace);

  printf("%d\n", times * pace);
}