#include <stdio.h>
#include <stdlib.h>
#define VERIFIED 0
#define UNVERIFIED 1
#define UNKNOWN 2

typedef struct test{
	int result[101];
	int mode;
	int modeloc;
	int status;
}Test;

int main(int argc, const char *argv[])
{
	FILE *input, *output;
	int i,j,k;
	int N,R;
	Test tests[5];
	Test * test;
	for(i = 0; i < 5; i++)
		for(j = 0; j <= 100; j++)
			tests[i].result[j]=0;

	input=fopen("DATA2.txt","r");
	output=fopen("OUT2.txt","w");

	for(i = 0; i < 5; i++){
		test = &(tests[i]);
		fscanf(input,"%d\n",&N);
		for (j = 0; j < N; j++) {
			fscanf(input,"%d\n",&k);
			test->result[k]++;
		}
		test->mode = 0;
		test->modeloc = 0;
		for (j = 0; j <= 100; j++){
			if(test->result[j] == test->mode){
				if(test->mode > 0)
					//printf("%d %d\n",j,test->modeloc);
				test->status = UNKNOWN;
			}
			if(test->result[j] > test->mode){
				test->mode = test->result[j];
				test->status = UNVERIFIED;
				test->modeloc=j;
			}
		}
		if(test->mode > N/2)
			test->status = VERIFIED;
//		printf("Test case %d mode is %d and status is %d\n",i,test->modeloc,test->status);
		switch(test->status){
			case VERIFIED: fprintf(output,"verified\n");
				       break;
			case UNVERIFIED: fprintf(output,"unverified\n");
					 break;
			case UNKNOWN: fprintf(output,"unknown\n");
				      break;
		}
	}
	return 0;
}