#include<iostream>
using namespace std;
int main()
{
    int n;
    while(cin>>n , n){
        int i[1000],p[1000],q[1000],r[1000];
        int P,Q,R,C;
        bool flg=false;
        
        for(int j=0; j<n; j++){
            cin>>i[j]>>p[j]>>q[j]>>r[j];
        }
        
        cin>>P>>Q>>R>>C;
        
        for(int j=0; j<n; j++){
            if(p[j]<=P && q[j]<=Q && r[j]<=R && ((p[j]*4 + q[j]*9 + r[j]*4)<=C)){
                
                cout<<i[j]<<endl;
                flg=true;
            }
        }
        
        if(flg==false)
            cout<<"NA"<<endl;
    }
    
    return 0;
}