#include <bits/stdc++.h>
using namespace std;

#define N_MAX 110000

void dump(vector<int>& v,int n){

	  for(int i=0; i<min(n,(int)v.size()); i++)
			cout << v[i] <<  " ";
	  cout << endl;
}

int main(){
	  
	  bool is_pri[N_MAX] = {false};
	  vector<int> pri; 

	  for(int i=2; i<N_MAX; i++) is_pri[i] = true;

	  for(int i=2; i<N_MAX; i++){
			if( is_pri[i] ) {
				  for(int j=2; j*i<N_MAX; j++)
						is_pri[i*j] = false;
				  pri.push_back(i);
			}
	  }

	  

	  int N,P;
	  while(cin >> N >> P){
			if(N==-1) break;

			int first = upper_bound(pri.begin(),pri.end(),N) - pri.begin();

			vector<int> ans(P,INT_MAX);
			for(int i=first; i<min(first+P,(int)pri.size()); i++){
				  for(int j=i; j<min(first+P,(int)pri.size()); j++){

						ans.push_back(pri[i]+pri[j]);
						sort(ans.begin(),ans.end());
						ans.pop_back();

						
				  }
			}
			cout << ans[P-1] << endl;
	  }

}