#include<stdio.h>
#include<math.h>
#define INF 100000000.0f
using namespace std;
double dp[12][1<<12];
int s[12];
double min(double a,double b){return a<b?a:b;}
int main(){
	int l;
	while(scanf("%d",&l)!=EOF){
		int i=0,j,k;
		while(1){
			char c;
			scanf("%d%c",&s[i],&c);
			i++;
			if(c=='\n')break;
		}
		int n=i;
		for(i=0;i<1<<n;i++)for(j=0;j<n;j++)dp[j][i]=INF;
		for(i=0;i<n;i++)dp[i][(1<<n)-1-(1<<i)]=s[i];
		for(i=(1<<n)-2;i>=0;i--){
			for(j=0;j<n;j++){
				if(i>>j&1)continue;
				for(k=0;k<n;k++)dp[j][i]=min(dp[j][i],dp[k][i|1<<j]+2*sqrt(s[j]*s[k]));
			}
		}
		double ans=INF;
		for(i=0;i<n;i++)ans=min(ans,dp[i][0]+s[i]);
		if(ans<=l)printf("OK\n");
		else printf("NA\n");
	}
	return 0;
}