#include<stdio.h>
#include<stdlib.h>
#define MAX 1000005
int P[MAX],F[MAX]={1,1},i,j,k,l,p=0,r,N,M,A[1500];
int c(const void *a,const void *b)
{
	return *(int*)a-*(int*)b;
}
int main()
{
	for (i=2;i<MAX;i++)
		if (!F[i])
		{
			P[p++]=i;
			for (j=i*2;j<MAX;j+=i)
			F[j]=1;
		}
	for(;scanf("%d%d",&N,&M),M>0;)
	{
		for(i=0;P[i]<=N;i++);
		for(j=i,l=0;j<i+50;j++)
			for(k=j;k<i+50;k++,l++)
				A[l]=P[j]+P[k];
		qsort(A,1275,sizeof(int),c);
		printf("%d\n",A[M-1]);
	}
	return 0;
}