#include<cstdio>
using namespace std;
int main(){
	int i;
	int n;
	while(scanf("%d",&n),n){
		int a[1001][4];
		for(i=0;i<=n;++i)
			scanf("%d%d%d%d",&a[i][0],&a[i][1],&a[i][2],&a[i][3]);
		bool b=false;
		for(i=0;i<n;++i){
			if(a[i][1]>a[n][0]||a[i][2]>a[n][1]||a[i][3]>a[n][2]||a[i][1]*4+a[i][2]*9+a[i][3]*4>a[n][3])
				continue;
			printf("%d\n",a[i][0]);
			b=true;
		}
		if(!b)
			puts("NA");
	}		
	return 0;
}