Problem:
上司のおごり

会津太郎さんの会社には、割り切れない事が大嫌いな上司がいます。太郎さんがその上司と食事に行くときは、割り勘で会計をしているのですが、支払金額が参加人数で割り切れないときは、いつも上司がおごってくれています。

ある日、太郎さんは食事会の幹事になりました。お金の少ない太郎さんは、その上司を誘ってなんとかおごってもらえるように出来ないか考えました。もう料理屋に注文をしなければならないのですが、まだ何人参加するかは分からないので、どんな人数が参加してもおごってもらえるような注文をしておきたいようです。太郎さんの同期で、同じく食事会に参加する予定のあなたは、太郎さんに協力して、予算額以下で最大のどんな人数でも割り切れない金額を算出することにしました。

料理の種類、各料理の料金、予算額を入力とし、予算額以下で最大のどんな数字でも割り切れない合計金額(ただし、 1 と合計金額は除く)を出力するプログラムを作成してください。なお、各種類の料理は複数個注文できますが、全種類の料理を注文する必要はありません。ただし、このような合計金額がない場合は、 NA と出力してください。

Input

複数のデータセットの並びが入力として与えられます。 入力の終わりはゼロふたつの行で示されます。
各データセットは以下の形式で与えられます。

n x
v1
v2
:
vn

1 行目に料理の種類 n (1 ≤ n ≤ 30) と予算額 x (1 ≤ x ≤ 1000000) が空白区切りで与えられます。続くn 行に i 種類目の料理の金額を表す整数 vi (1 ≤ vi ≤ 1000000) が与えられます。

データセットの数は 100 を超えません。

Output

入力データセットごとに、予算額に最も近い合計金額、または NA を１行に出力します。

Sample Input

4 15000
305
260
129
500
3 400
10
20
30
3 200909
5
9
12
0 0

Output for the Sample Input

14983
NA
200909

Solution in JavaScript (judge verdict: Time Limit Exceeded)

function main() {
  var
  n, m,
  i = 0, j, ans, dp, dp_, x, k, line, xs;
  for(;;) {
    line = input[i++].split(' ').map(parseFloat);
    n = line[0]; m = line[1];
    if (n === 0 && m === 0) break;
    
    xs = [];
    for (j = 0; j < n; j++) {
      xs.push(parseInt(input[i++], 10));
    }
    
    dp = {};
    ans = 0;
    dp[0] = true;
    for (j = 0; j < n; j++) {
      for (k = xs[j]; k <= m; k++) {
        if (dp[k - xs[j]]) {
          dp[k] = true;
          if (ps[k]) ans = Math.max(ans, k);
        }
      }
    }

    console.log(ans || 'NA');
  }
}

function prims(n){
  var
  i, j, flag,
  prims = [2];
  if(n < 2) return [];
  for(i = 3;i <= n; i += 2) {
    flag = true;
    for(j = 0; prims[j] * prims[j] <= i; j++) {
      if(i % prims[j] == 0) {
        flag = false;
        break;
      }
    }
    if(flag) {
      prims.push(i);
    }
  }
  return prims;
}

var
ps = prims(1000000).reduce(function (ps, p) {
  return (ps[p] = true, ps);
}, {});

var
input = '';

process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function(chunk) {
  input += chunk;
});
process.stdin.on('end', function() {
  input = input.split('\n');
  main();
});