#include <stdio.h>

int main(void)
{
  int pocky_len, turn_len;
  int yu = 0;

  scanf("%d%d", &pocky_len, &turn_len);
  while(pocky_len > 0){
    pocky_len -= turn_len * 2;
    if(pocky_len <= 0){
      break;
    }
    yu += turn_len;
  }
  printf("%d\n",  yu);

  return 0;
}