#include <stdio.h>
int main() {
  long long int L, ans = 0;
  int K;
  scanf("%lld %d", &L, &K);
  while (L-2*K > 0) {
    L -= 2*K;
    ans += K;
  }
  printf("%lld\n", ans);
  return 0;
}