Go: package main

import (
	"bufio"
	"os"
	"strings"
	"strconv"
	"fmt"
	)

var scanner = bufio.NewScanner(os.Stdin)

func main() {
	for scanner.Scan() {
		buf := strings.Split(scanner.Text(), " ")
		n, _ := strconv.Atoi(buf[0])
		x, _ := strconv.Atoi(buf[1])
		if n == 0 && x == 0 {
			break
		}
		prime_table := make([]int, 1000001)
		prime_table[0] = -1
		prime_table[1] = -1
		for i := 2; i < 1000001; i++ {
			if prime_table[i] != -1 {
				prime_table[i] = 1
				for j := 2*i; j < 1000001; j += i {
					prime_table[j] = -1 // -1 means "not prime"
				}
			}
		}
		dp := make([]int, x+1)
		dp[0] = 1
		menu := make([]int, n)
		for i := 0; i < n; i++ {
			scanner.Scan()
			menu[i], _ = strconv.Atoi(scanner.Text())
		}
		for i := 0; i < n; i++ {
			for j := 0; j <= x; j++ {
				if menu[i] <= j && dp[j-menu[i]] != 0 {
					// log.Println(dp)
					dp[j] = 1
				}
			}
		}
		flag := true
		for j := x; j >= 0; j-- {
			if prime_table[j] == 1 && dp[j] == 1 {
				flag = false
				fmt.Println(j)
				break
			}
		}
		if flag {
			fmt.Println("NA")
		}
	}
}

C++: #include <iostream>
#include <fstream>
#include <vector>
#include <string>
#include <map>
#include <sstream>
#include <queue>
#include <cstdlib>
#include <algorithm>
#include <iterator>
#include <stack>
#include <list>
using namespace std;
#define INF 100000000
typedef long long int lli;
typedef pair<int,int> P;
bool dp[30][1000001];
bool pn[1000001];

void eratos(bool f[]){
	for(int i=0; i<1000001; ++i){
		f[i]=true;
	}
	pn[0]=false;
	pn[1]=false;
	for(int i=2; i*i<1000001; ++i){
		if(f[i]){
			for(int j=2; i*j<1000001; ++j){
				f[i*j]=false;
			}
		}
	}
}
int main(){
	int n,x;
	eratos(pn);
	while(cin >> n >> x){
		if(n==0&&x==0) break;
		vector<int> cost(n);
		for(int i=0; i<n; ++i){
			cin >> cost[i];
		}
		for(int i=0; i<n; ++i){
			for(int j=0; j<=x; ++j){
				dp[i][j]=false;
			}
		}
		for(int i=0; i*cost[0]<=x; ++i){
			dp[0][cost[0]*i]=true;
		}
		for(int i=1; i<n; ++i){
			for(int j=0; j<=x; ++j){
				if(dp[i-1][j]){
					for(int k=0;j+cost[i]*k<=x; ){
						dp[i][j+cost[i]*k]=true;
						++k;
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
						if(j+cost[i]*k<=x){
							dp[i][j+cost[i]*k]=true;
							++k;
						}
					}
				}
			}
		}
		bool flag=false;
		int ans;
		for(int i=x; i>=0; --i){
			if(dp[n-1][i]&&pn[i]){
				flag=true;
				ans=i;
				break;
			}
		}
		if(flag) {
			cout << ans << "\n";
		} else {
			cout << "NA\n";
		}
	}
	return 0;
}