#include<iostream>
#include<vector>
#include<algorithm>
using namespace std;
int main(){
  int a,b;
  while(cin>>a>>b,a+b>0){
    int c[100],cnt=0;
    vector<int> ans;
    for(int i=a+1;cnt<100;i++){
      int cnt2=0;
      for(int j=2;j*j<=i;j++){
	if(i%j==0)cnt2++;
      }
      if(cnt2==0&&i!=1)c[cnt]=i,cnt++;
    }
    for(int i=0;i<100;i++)
      for(int j=i;j<100;j++)
	ans.push_back(c[i]+c[j]);
    sort(ans.begin(),ans.end());
    cout<<ans[b-1]<<endl;
  }
  return 0;
}