fileIn = open("DATA2.txt", "r")
inputNums = []
writeBuffer = ""
for line in fileIn:
	line = line.strip()
	if line != "":
		inputNums.append(line)
counter = 0
for i in range(0, 5):
	numInputs = inputNums[counter]
	counter += 1
	compareList = []
	for j in range (0, int(numInputs)):
		compareList.append(inputNums[counter])
		counter += 1
		
	numElements = []
	currentMax = 0
	for element in compareList:
		numElement = compareList.count(element)
		numElements.append(numElement)
		if int(numElement) > currentMax:
			currentMax = numElement
	
	current = ""
	notSame = 0
	if len(numElements) > 1:
		previous = numElements[0]
		for k in range (1, len(numElements)):
			current = numElements[k]
			if current != previous:
				notSame = 1
				
		
	
		
	if currentMax > (float(numInputs)/2.0):
		writeBuffer += "verified\n"
	elif notSame == 0 and numInputs > 1:
		writeBuffer += "unknown\n"
	elif currentMax == 1 and numInputs == 1:
		writeBuffer += "verified\n"
	else:
		writeBuffer += "unverified\n"
	
outputFile = open("OUT2.txt", "w")
outputFile.write(writeBuffer)

outputFile.close()
fileIn.close()