#include<stdio.h>
int main(){
  int i,j,k,r,a,b,n,m,s[12000],d[100010],M=300010;
  char p[300010]={1,1};
  for(i=0;i*i<M;i++){
    if(p[i])continue;
    for(j=i*i;j<M;j+=i)p[j]=1;
  }
  for(i=r=0;i<M;i++){
    if(p[i]==0)d[r++]=i;
  }
  while(scanf("%d %d",&n,&m),n+1){
    for(b=r=0;d[b]<=n;b++);
    for(i=0;i<110;i++){
      for(j=i;i+j<110;j++){
	a=d[b+i]+d[b+j];
	for(k=r++;k&&s[k-1]>a;k--)s[k]=s[k-1];
	s[k]=a;
      }
    }
    printf("%d\n",s[m-1]);
  }
  return 0;
}