nyoj-779-兰州烧饼

#include<stdio.h>
int main()
{
int n,k;
while(scanf("%d%d",&n,&k)!=EOF)
{
if(n<=k)
printf("2\n");
else if(n%k==0)
printf("%d\n",2*(n/k));
else if(n%k*2<=k)
printf("%d\n",2*(n/k)+1);
else
printf("%d\n",2*(n/k)+2);
}
return 0;
}