#include<stdio.h>
#include<math.h>
#define NUM 10000
int main()
{
  int prime[NUM];
  int pair[NUM];
  int i,j,k;
  int n,p;
  int temp;
  int min;
  j=2;
  for(i=0;i<NUM;i++)
    {
      while(1)
	{
	  for(k=2;k<=(int)sqrt(j);k++)
	    {
	      if(j%k==0) break;
	    }
	  if(k==(int)sqrt(j)+1) break;
	  j++;
	}
      prime[i]=j;
      j++;
    }

  while(1)
    {
      scanf("%d%d",&n,&p);
      if((n==-1)&&(p==-1)) break;
      for(i=0;i<NUM;i++) pair[i]=i;
      for(i=0;i<NUM;i++)
	{
	  if(prime[i]>n)
	    {
	      temp=prime[i]+prime[i];
	      pair[i]++;
	      //printf("1: %d\n",temp);
	      min=i;
	      break;
	    }
	}
      for(i=1;i<p;i++)
	{
	  temp=prime[min]+prime[pair[min]];
	  //printf("%d: %d\n",i+1,temp);
	  for(j=min;j<NUM;j++)
	    {
	      if(prime[j]+prime[pair[j]]<=temp)
		{
		  k=j;
		  temp=prime[j]+prime[pair[j]];
		  //printf("%d->%d\n",i+1,temp);
		}
	    }
	  pair[k]++;
	  //printf("%d: %d<Determined>\n",i+1,temp);
	}
      printf("%d\n",temp);
    }
  return 0;
}