#include<stdio.h>
int main()
{
int L,K;
scanf("%d %d" ,&L,&K);

printf("%d",L/(2*K)+L%(2*K));

return 0;
}