#include<iostream>
using namespace std;

int main(){
  int n;
  int I[1001],P[1001],Q[1001],R[1001],C[1001];
  
  while(cin >> n ,n){
    for(int i=0;i<n;i++){
      cin >> I[i] >> P[i] >> Q[i] >> R[i];
      C[i] = P[i]*4 + Q[i]*9 + R[i]*4;
    }
    cin >> P[n] >> Q[n] >> R[n] >> C[n];
    
    int ans = 0;
    for(int i=0;i<n;i++){
      if(P[i]<=P[n] && Q[i]<=Q[n] && R[i]<=R[n] && C[i]<=C[n]){
	cout << I[i] << endl;
	ans++;
      }
    }
    if(!ans)cout << "NA\n";
  }
}