#include<stdio.h>
int main()
{
int n,k,minutes;
while(scanf("%d %d",&n,&k) == 2)
{
if(n <= k) printf("2\n");
else
{
minutes = n * 2 / k;
if(n*2%k == 0) printf("%d\n",minutes);
else printf("%d\n",minutes+1);
}
}
return 0;
}
这个题要注意一种特殊的情况,当n<=k的时候,都是2分钟。