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

int main(){
    cin.tie(0);
    ios::sync_with_stdio(false);
    string str;
    while(getline(cin, str)){
        int W;
        int N;
        int r[12];
        stringstream ss(str);
        ss >> W;
        N = 0;
        while(!ss.eof()){
            ss >> r[N++];
        }
        sort(r, r + N);
        string result = "NA";
        do{
            double width = 0;
            width += r[0] + r[N-1];
            for(int i = 1; i < N; i++){
                width += 2 * sqrt(r[i - 1] * r[i]);
            }
            if(width <= W){
                result = "OK";
                break;
            }
        }while(next_permutation(r, r + N));
        cout << result << endl;
    }

    return 0;
}