import java.io.*;
import java.util.*;
import java.math.*;

public class Q2
{
 	
 		  	
	public static String myMethod(int[] lineOfInput,int inputLine) 
 	{  
    
    String[] decision = {"verified", "unverified", "unknown"};	
  	String	lineOfOutput= null;
  	int a =0;

  	    for(int p=0;p<inputLine;p++){
    		for (int q=1;q<inputLine&& (p+q) <inputLine;q++){
    			if (lineOfInput[p]==lineOfInput[p+q]){
    				a++;
    			}
    		}
    	}
    	System.out.println(a);
	if(a>0){
		if(a>(int)(inputLine/2)){
			lineOfOutput=decision[0];
		} else {
			lineOfOutput=decision[1];
		}		
	} else if (a==0){
		lineOfOutput=decision[2];
	}
		

	

 	   return (lineOfOutput);
 	}

 	
 	public static void main(String args[]) throws IOException
 	{
  		
  		final String INPUT_FILE = "DATA1.txt";
  		final String OUTPUT_FILE = "OUT1.txt";
  		Scanner input = null; 
  		BufferedWriter writeFile = null;
		
        

        int inputLine=0;     
        String [] lineOfOutput = new String [5];
        int i=0;
        int j=0;
        int q=0;
              		 
  		
  		 
  	
  		try
  		{
   			input = new Scanner(new File(INPUT_FILE));

   		
   		for(i =0;i<5;i++){
   				inputLine = input.nextInt();
   					int[] lineOfInput=new int[inputLine];
   					for (int p=0;p<inputLine;p++){
   					lineOfInput[p] = input.nextInt();
   					  					
   					}
   					lineOfOutput[i] = myMethod(lineOfInput,inputLine);
   		}
   					 
   				
   		
   		
   				
   				
  		}
  		finally
  		{
   			input.close();
  		}

		
	  	

  		
  		try
  		{
   			writeFile = new BufferedWriter(new FileWriter(OUTPUT_FILE));
 			for(int k = 0; k < 5 ; k++)
   			{
    			writeFile.write(lineOfOutput[k]+"");
    			writeFile.newLine();
   			}
   			
		}
  		finally
  		{
   			writeFile.close();
  		}  
 	}
}