#include<iostream>
#include<fstream>
//#include<math>

using namespace std;

int main(){
	
	ifstream fin("data2.txt");
	ofstream fout("out2.txt");
	
	double n[5];
	int num[7];
	int count[7];
	int buffer;
	
	//main loop
	for(int i=0; i < 5; i++){
		
		//reset counters
		for(int c=0; c < 7; c++){
			num[c] = -1;
			count[c] = 0;
		}
		
		fin >> n[i];
		fin >> buffer;
		num[0] = buffer;
		count[0] += 1;
		for (int j = 1; j < n[i]; j++){
			fin >> buffer;
			for (int p = 0; p < n[i]; p++){
				if (buffer == num[p])
					count[p]++;
				else if (num[p] == -1){
					num[p] = buffer;
					count[p]++;
				}
			}
		}
		//values are counted.
		
		//fout << num[0] <<  count[0] << endl;
		int max = count[0];
		bool same = true;
		
		
		
//		if (n[i] == 3)
//			fout << count[0] << count[1] << count[2] << count[3] << count[4]<< endl;
		
		
		
		
		for (int c=1; c < n[i]; c++){	
			if (count[c] > max)
				max = count[c];
			if (count[c] != count[c-1])
				same = false;
		}		

		if (max > n[i]/2)
			fout << "verified" << endl;
		else if (same == true)
			fout << "unknown" << endl;
		else
			fout << "unverified" << endl;

		
		
		
		
			
	}

		
		
		
		
	
	return 0;
}