#include<iostream>

using namespace std;

int main(void){
	int n;
	int i[1001],p[1001],q[1001],r[1001];
	int lp,lq,lr,lc;
	while(1){
		bool ch=false;
		scanf("%d",&n);
		if(n==0)break;
		for(int a=0;a<n;a++){
			scanf("%d%d%d%d",&i[a],&p[a],&q[a],&r[a]);
		}
		scanf("%d%d%d%d",&lp,&lq,&lr,&lc);
		for(int a=0;a<n;a++){
			if(lp>=p[a] && lq>=q[a] && lr>=r[a] && lc>=p[a]*4+q[a]*9+r[a]*4)ch=true,printf("%d\n",i[a]);
		}
		if(!ch)printf("NA\n");
	}
    return 0;
}