#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int,int> P;
int main(){
  int i,j,n=1000000,x;
  vector<int> a(1000010,1);
  for(i=2;i<=n;i++){
    if(a[i]==0){
      continue;
    }
    for(j=i*2;j<=n;j=j+i){
      a[j]=0;
    }
  }
  vector<int> y;
  for(i=2;i<=n;i++){
    if(a[i]==1){
      y.push_back(i);
    }
  }
  while(1){
    cin >> n >> x;
    if(n==0 && x==0){
      return 0;
    }
    int b[35];
    vector<int> dp(1000100,0);
    for(i=0;i<n;i++){
      cin >> b[i];
    }
    dp[0]=1;
    for(i=1;i<=n;i++){
      for(j=0;j<=x;j++){
        if(j-b[i-1]>=0){
          dp[j]=max(dp[j],dp[j-b[i-1]]);
        }
        else{
          dp[j]=dp[j];
        }
      }
    }
    int ans=-1;
    for(i=0;i<y.size();i++){
      if(y[i]>x){
        break;
      }
      if(dp[y[i]]==1){
        ans=y[i];
      }
    }
    if(ans==-1){
      cout << "NA" << endl;
    }
    else{
      cout << ans << endl;
    }
  }
  return 0;
}
