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

int main() {
  string s;
  while(getline(cin,s)) {
    stringstream ss;
    int w,x;
    vector<int> v;
    ss << s;
    ss >> w;
    while(ss >> x) v.push_back(x);
    int n=v.size();
    double dp[1<<n][n];
    for(int i=0; i<(1<<n); i++)for(int j=0;j<n;j++)dp[i][j]=1<<30;
    for(int i=0; i<n; i++) dp[1<<i][i]=v[i];
    for(int t=1; t<(1<<n); t++) {
      for(int i=0; i<n; i++) {
        if(dp[t][i]==1<<30) continue;
        for(int j=0; j<n; j++) {
          if(t&(1<<j)) continue;
          dp[t|(1<<j)][j]=min(dp[t|(1<<j)][j],dp[t][i]+sqrt((v[i]+v[j])*(v[i]+v[j])-(v[i]-v[j])*(v[i]-v[j])));
        }
      }
    }
    double ans=1<<30;
    for(int i=0; i<n; i++) ans=min(ans,dp[(1<<n)-1][i]+v[i]);
    if(ans<=w) cout << "OK" << endl;
    else cout << "NA" << endl;
  }
  return 0;
}
