南阳779

#include<stdio.h>
int main()
{
    int n,k;
    while(~scanf("%d%d",&n,&k))
        printf("%d\n",n<k?2:(n*2/k+(n*2%k?1:0)));
}