AOJ Volume2 0239: Calorie Counting

/************************************
*    2012/07/03                        *
*    AOJ Volume2 0239                *
*    Calorie Counting                *
*    crane                            *
*************************************/


#include<iostream>
#define MAX_N 1000
using namespace std;

//[p:タンパク質, q:脂質, r:炭水化物]
/*-------------------------------------------------*/
//        1gあたり                                    //
//        タンパク質,炭水化物->4kcal                    //
//        脂質               ->9kcal   
/*-------------------------------------------------*/
struct {
    int num;
    int p;
    int q;
    int r;
} num[MAX_N];


int main(){
    int n;//お菓子の数
    while(cin >> n, n){
       
        for(int i=1; i<=n; i++)
            cin >> num[i].num >> num[i].p >> num[i].q >> num[i].r;

        int P, Q, R, C;    //P:タンパク質, Q:脂質, R:炭水化物, C:制限摂取カロリー
        cin >> P >> Q >> R >> C;
        bool frag = true;
        for(int i=1; i<=n; i++){
            int sum = (4 * num[i].p) + (9 * num[i].q) + (4 * num[i].r);   
           
            if(num[i].p <= P && num[i].q <= Q && num[i].r<=R && sum <= C){
                cout << num[i].num << endl;
                frag = false;
            }
        }
        if(frag)    cout << "NA" << endl;
    }
    return 0;
}