#include<stdio.h>

int main(){



int N;
int p,q,r,c;

while(1){
	int n[1024][6]={};
scanf("%d",&N);if(N==0)break;

for(int i=0;i<N;i++)
{scanf("%d %d %d %d",&n[i][0],&n[i][1],&n[i][2],&n[i][3]);
n[i][4]=4*n[i][1]+9*n[i][2]+4*n[i][3];
}

scanf("%d %d %d %d",&p,&q,&r,&c);

bool f=true;
for(int i=0;i<N;i++)
{if(n[i][1]<=p&&n[i][2]<=q&&n[i][3]<=r&&n[i][4]<=c){printf("%d\n",n[i][0]);f=false;}
}

if(f==true)printf("NA\n");


}
return 0;
}