#include<bits/stdc++.h>
#include<algorithm>
#include<vector>
#include<queue>
using namespace std;
typedef long long ll;

int main(){
	int n,i[1000],p[1000],q[1000],r[1000],P,Q,R,C;
	while(scanf("%d",&n),n){
		for(int j=0;j<n;j++) scanf("%d%d%d%d",&i[j],&p[j],&q[j],&r[j]);
		scanf("%d%d%d%d",&P,&Q,&R,&C);
		int res=0;
		for(int j=0;j<n;j++) if(!(p[j]>P||q[j]>Q||r[j]>R||((p[j]+r[j])*4+q[j]*9>C))){
				printf("%d\n",i[j]);
				res=1;
		}
		if(res==0) printf("NA\n");
	}
}