#include<bits/stdc++.h>
#define r(i,n) for(int i=0;i<n;i++)
using namespace std;
string s;
int n;
double a[20],w;
double dp[1<<12][12];
void Input(){
  int res=0;n=-1;
  for(int i=0;i<s.size();i++){
    if(isdigit(s[i]))res=res*10+(s[i]-'0');
    if(s[i]==' '||i==s.size()-1){
      if(n==-1)w=res,n++;
      else a[n++]=res;
      res=0;
    }
  }
}
int main(){
  while(getline(cin,s)){
    Input();
    r(i,1<<12)r(j,12)dp[i][j]=1e9;
    for(int i=0;i<n;i++)dp[1<<i][i]=a[i];
    for(int i=1;i<(1<<n);i++){
      for(int j=0;j<n;j++){
	if(dp[i][j]!=1e9&&((i>>j)&1)){
	  for(int k=0;k<n;k++){
	    if(j!=k&&!((i>>k)&1)){
	      dp[i|(1<<k)][k]=min(dp[i|(1<<k)][k],dp[i][j]+2.0*sqrt(a[j]*a[k]));
	    }
	  }
	}
      }
    }
    double ans=1e9;
    for(int i=0;i<n;i++)ans=min(ans,dp[(1<<n)-1][i]+a[i]);
    if(ans<=w)cout<<"OK"<<endl;
    else cout<<"NA"<<endl;
  }
}