import java.util.*;
import java.io.*;
public class VerificationOfWork {
	public static void main(String[] args) throws IOException {
		Scanner readFile = new Scanner(new FileReader("DATA2.txt"));
		int[] sectionResults = new int[7];
		ArrayList totalFile = new ArrayList();
		String[] results = new String[5];
		int[] numberOfEach = new int[7];
		int numberInSection = 0;
		int numberSoFar = 0;
		int sectionTravesedSoFar = 0;
		String currentEntry;
		int largestArrayValue = 0;
		int sumAllOtherValues = 0;
		boolean allNumbersSame = false;
		while (readFile.hasNextLine()) {
			totalFile.add(readFile.nextLine());
		}
		for (int i = 0; i < 5; i++) {
			numberInSection = Integer.decode(totalFile.get(numberSoFar).toString());
			numberSoFar += 1;
			String[] contentsOfSection = new String[numberInSection];
			for (int f = 0; f < numberInSection; f++) {
				contentsOfSection[f] = totalFile.get(numberSoFar).toString();
				numberSoFar += 1;
			}
			for (int f = 0; f < contentsOfSection.length; f++) {
				if (f == 0) {
					numberOfEach[0] += 1;
				} if (f == 1) {
					if (contentsOfSection[1].equals(contentsOfSection[0])) {
						numberOfEach[0] += 1;
					} else {
						numberOfEach[1] += 1;
					}
				} if (f == 2) {
					if (contentsOfSection[2].equals(contentsOfSection[1])) {
						if (contentsOfSection[1].equals(contentsOfSection[0])) {
							numberOfEach[0] += 1;
						} else {
							numberOfEach[1] += 1;
						}
					} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
						numberOfEach[0] += 1;
					} else {
						numberOfEach[2] += 1;
					}
				} else if (f == 3) {
					if (contentsOfSection[3].equals(contentsOfSection[2])) {
						if (contentsOfSection[2].equals(contentsOfSection[1])) {
							if (contentsOfSection[1].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[1] += 1;
							}
						} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
							numberOfEach[0] += 1;
						} else {
							numberOfEach[2] += 1;
						}
					} else if (contentsOfSection[3].equals(contentsOfSection[1])) {
						if (contentsOfSection[1].equals(contentsOfSection[0])) {
							numberOfEach[0] += 1;
						} else {
							numberOfEach[1] += 1;
						}
					} else if (contentsOfSection[3].equals(contentsOfSection[0])) {
						numberOfEach[0] += 1;
					} else {
						numberOfEach[3] += 1;
					}
				} else if (f == 4) {
					if (contentsOfSection[4].equals(contentsOfSection[3])) {
						if (contentsOfSection[3].equals(contentsOfSection[2])) {
							if (contentsOfSection[2].equals(contentsOfSection[1])) {
								if (contentsOfSection[1].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[1] += 1;
								}
							} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[2] += 1;
							}
						} else if (contentsOfSection[3].equals(contentsOfSection[1])) {
							if (contentsOfSection[1].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[1] += 1;
							}
						} else if (contentsOfSection[3].equals(contentsOfSection[0])) {
							numberOfEach[0] += 1;
						} else {
							numberOfEach[3] += 1;
						}
					} else if (contentsOfSection[4].equals(contentsOfSection[2])) {
						if (contentsOfSection[2].equals(contentsOfSection[1])) {
							if (contentsOfSection[1].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[1] += 1;
							}
						} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
							numberOfEach[0] += 1;
						} else {
							numberOfEach[2] += 1;
						}
					} else if (contentsOfSection[4].equals(contentsOfSection[1])) {
						if (contentsOfSection[1].equals(contentsOfSection[0])) {
							numberOfEach[0] += 1;
						} else {
							numberOfEach[1] += 1;
						}
					} else if (contentsOfSection[4].equals(contentsOfSection[0])) {
						numberOfEach[0] += 1;
					} else {
						numberOfEach[4] += 1;
					}
				} else if (f == 5) {
					if (contentsOfSection[5].equals(contentsOfSection[4])) {
						if (contentsOfSection[4].equals(contentsOfSection[3])) {
							if (contentsOfSection[3].equals(contentsOfSection[2])) {
								if (contentsOfSection[2].equals(contentsOfSection[1])) {
									if (contentsOfSection[1].equals(contentsOfSection[0])) {
										numberOfEach[0] += 1;
									} else {
										numberOfEach[1] += 1;
									}
								} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[2] += 1;
								}
							} else if (contentsOfSection[3].equals(contentsOfSection[1])) {
								if (contentsOfSection[1].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[1] += 1;
								}
							} else if (contentsOfSection[3].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[3] += 1;
							}
						} else if (contentsOfSection[4].equals(contentsOfSection[2])) {
							if (contentsOfSection[2].equals(contentsOfSection[1])) {
								if (contentsOfSection[1].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[1] += 1;
								}
							} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[2] += 1;
							}
						} else if (contentsOfSection[4].equals(contentsOfSection[1])) {
							if (contentsOfSection[1].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[1] += 1;
							}
						} else if (contentsOfSection[4].equals(contentsOfSection[0])) {
							numberOfEach[0] += 1;
						} else {
							numberOfEach[4] += 1;
						}
					} else if (contentsOfSection[5].equals(contentsOfSection[3])) {
						if (contentsOfSection[3].equals(contentsOfSection[2])) {
							if (contentsOfSection[2].equals(contentsOfSection[1])) {
								if (contentsOfSection[1].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[1] += 1;
								}
							} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[2] += 1;
							}
						} else if (contentsOfSection[3].equals(contentsOfSection[1])) {
							if (contentsOfSection[1].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[1] += 1;
							}
						} else if (contentsOfSection[3].equals(contentsOfSection[0])) {
							numberOfEach[0] += 1;
						} else {
							numberOfEach[3] += 1;
						}
					} else if (contentsOfSection[5].equals(contentsOfSection[2])) {
						if (contentsOfSection[2].equals(contentsOfSection[1])) {
							if (contentsOfSection[1].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[1] += 1;
							}
						} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
							numberOfEach[0] += 1;
						} else {
							numberOfEach[2] += 1;
						}
					} else if (contentsOfSection[5].equals(contentsOfSection[1])) {
						if (contentsOfSection[1].equals(contentsOfSection[0])) {
							numberOfEach[0] += 1;
						} else {
							numberOfEach[1] += 1;
						}
					} else if (contentsOfSection[5].equals(contentsOfSection[0])) {
						numberOfEach[0] += 1;
					} else {
						numberOfEach[5] += 1;
					}
				} else if (f == 6) {
					if (contentsOfSection[6].equals(contentsOfSection[5])) {
						if (contentsOfSection[5].equals(contentsOfSection[4])) {
							if (contentsOfSection[4].equals(contentsOfSection[3])) {
								if (contentsOfSection[3].equals(contentsOfSection[2])) {
									if (contentsOfSection[2].equals(contentsOfSection[1])) {
										if (contentsOfSection[1].equals(contentsOfSection[0])) {
											numberOfEach[0] += 1;
										} else {
											numberOfEach[1] += 1;
										}
									} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
										numberOfEach[0] += 1;
									} else {
										numberOfEach[2] += 1;
									}
								} else if (contentsOfSection[3].equals(contentsOfSection[1])) {
									if (contentsOfSection[1].equals(contentsOfSection[0])) {
										numberOfEach[0] += 1;
									} else {
										numberOfEach[1] += 1;
									}
								} else if (contentsOfSection[3].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[3] += 1;
								}
							} else if (contentsOfSection[4].equals(contentsOfSection[2])) {
								if (contentsOfSection[2].equals(contentsOfSection[1])) {
									if (contentsOfSection[1].equals(contentsOfSection[0])) {
										numberOfEach[0] += 1;
									} else {
										numberOfEach[1] += 1;
									}
								} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[2] += 1;
								}
							} else if (contentsOfSection[4].equals(contentsOfSection[1])) {
								if (contentsOfSection[1].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[1] += 1;
								}
							} else if (contentsOfSection[4].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[4] += 1;
							}
						} else if (contentsOfSection[5].equals(contentsOfSection[3])) {
							if (contentsOfSection[3].equals(contentsOfSection[2])) {
								if (contentsOfSection[2].equals(contentsOfSection[1])) {
									if (contentsOfSection[1].equals(contentsOfSection[0])) {
										numberOfEach[0] += 1;
									} else {
										numberOfEach[1] += 1;
									}
								} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[2] += 1;
								}
							} else if (contentsOfSection[3].equals(contentsOfSection[1])) {
								if (contentsOfSection[1].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[1] += 1;
								}
							} else if (contentsOfSection[3].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[3] += 1;
							}
						} else if (contentsOfSection[5].equals(contentsOfSection[2])) {
							if (contentsOfSection[2].equals(contentsOfSection[1])) {
								if (contentsOfSection[1].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[1] += 1;
								}
							} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[2] += 1;
							}
						} else if (contentsOfSection[5].equals(contentsOfSection[1])) {
							if (contentsOfSection[1].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[1] += 1;
							}
						} else if (contentsOfSection[5].equals(contentsOfSection[0])) {
							numberOfEach[0] += 1;
						} else {
							numberOfEach[5] += 1;
						}
					} else if (contentsOfSection[6].equals(contentsOfSection[4])) {
						if (contentsOfSection[4].equals(contentsOfSection[3])) {
							if (contentsOfSection[3].equals(contentsOfSection[2])) {
								if (contentsOfSection[2].equals(contentsOfSection[1])) {
									if (contentsOfSection[1].equals(contentsOfSection[0])) {
										numberOfEach[0] += 1;
									} else {
										numberOfEach[1] += 1;
									}
								} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[2] += 1;
								}
							} else if (contentsOfSection[3].equals(contentsOfSection[1])) {
								if (contentsOfSection[1].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[1] += 1;
								}
							} else if (contentsOfSection[3].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[3] += 1;
							}
						} else if (contentsOfSection[4].equals(contentsOfSection[2])) {
							if (contentsOfSection[2].equals(contentsOfSection[1])) {
								if (contentsOfSection[1].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[1] += 1;
								}
							} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[2] += 1;
							}
						} else if (contentsOfSection[4].equals(contentsOfSection[1])) {
							if (contentsOfSection[1].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[1] += 1;
							}
						} else if (contentsOfSection[4].equals(contentsOfSection[0])) {
							numberOfEach[0] += 1;
						} else {
							numberOfEach[4] += 1;
						}
					} else if (contentsOfSection[6].equals(contentsOfSection[4])) {
						if (contentsOfSection[4].equals(contentsOfSection[3])) {
							if (contentsOfSection[3].equals(contentsOfSection[2])) {
								if (contentsOfSection[2].equals(contentsOfSection[1])) {
									if (contentsOfSection[1].equals(contentsOfSection[0])) {
										numberOfEach[0] += 1;
									} else {
										numberOfEach[1] += 1;
									}
								} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[2] += 1;
								}
							} else if (contentsOfSection[3].equals(contentsOfSection[1])) {
								if (contentsOfSection[1].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[1] += 1;
								}
							} else if (contentsOfSection[3].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[3] += 1;
							}
						} else if (contentsOfSection[4].equals(contentsOfSection[2])) {
							if (contentsOfSection[2].equals(contentsOfSection[1])) {
								if (contentsOfSection[1].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[1] += 1;
								}
							} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[2] += 1;
							}
						} else if (contentsOfSection[4].equals(contentsOfSection[1])) {
							if (contentsOfSection[1].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[1] += 1;
							}
						} else if (contentsOfSection[4].equals(contentsOfSection[0])) {
							numberOfEach[0] += 1;
						} else {
							numberOfEach[4] += 1;
						}
					} else if (contentsOfSection[6].equals(contentsOfSection[3])) {
						if (contentsOfSection[3].equals(contentsOfSection[2])) {
							if (contentsOfSection[2].equals(contentsOfSection[1])) {
								if (contentsOfSection[1].equals(contentsOfSection[0])) {
									numberOfEach[0] += 1;
								} else {
									numberOfEach[1] += 1;
								}
							} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[2] += 1;
							}
						} else if (contentsOfSection[3].equals(contentsOfSection[1])) {
							if (contentsOfSection[1].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[1] += 1;
							}
						} else if (contentsOfSection[3].equals(contentsOfSection[0])) {
							numberOfEach[0] += 1;
						} else {
							numberOfEach[3] += 1;
						}
					} else if (contentsOfSection[6].equals(contentsOfSection[2])) {
						if (contentsOfSection[2].equals(contentsOfSection[1])) {
							if (contentsOfSection[1].equals(contentsOfSection[0])) {
								numberOfEach[0] += 1;
							} else {
								numberOfEach[1] += 1;
							}
						} else if (contentsOfSection[2].equals(contentsOfSection[0])) {
							numberOfEach[0] += 1;
						} else {
							numberOfEach[2] += 1;
						}
					} else if (contentsOfSection[6].equals(contentsOfSection[1])) {
						if (contentsOfSection[1].equals(contentsOfSection[0])) {
							numberOfEach[0] += 1;
						} else {
							numberOfEach[1] += 1;
						}
					} else if (contentsOfSection[6].equals(contentsOfSection[0])) {
						numberOfEach[0] += 1;
					}
				}
			}
			for (int f = 0; f < contentsOfSection.length; f++) {
				contentsOfSection[f] = "";
			}
			for (int f = 0; f < contentsOfSection.length; f++) {
				if (numberOfEach[f] > numberOfEach[largestArrayValue]) {
					largestArrayValue = f;
				}
			}
			for (int f = 0; f < contentsOfSection.length; f++) {
				if (f != largestArrayValue) {
					sumAllOtherValues += numberOfEach[f];
				}
			}
			if (sumAllOtherValues < numberOfEach[largestArrayValue]) {
				results[i] = "verified";
			} else if (sumAllOtherValues > numberOfEach[largestArrayValue]) {
				for (int c = 0; c < contentsOfSection.length; c++) {
					if (numberOfEach[c] != numberOfEach[largestArrayValue]) {
						allNumbersSame = true;
					}
				}
				if (allNumbersSame == true) {
					results[i] = "unverified";
				} else if (allNumbersSame == false) {
					results[i] = "unknown";
				}
			}
			for (int f = 0; f < contentsOfSection.length; f++) {
				contentsOfSection[f].equals("");
				numberOfEach[f] = 0;
			}
			largestArrayValue = 0;
			allNumbersSame = false;
			sumAllOtherValues = 0;
		}
		BufferedWriter outputToFile = new BufferedWriter(new FileWriter("OUT2.txt"));
		for (int i = 0; i < results.length; i++) {
			outputToFile.write(results[i]);
			if (i < results.length-1) {
				outputToFile.newLine();
			}
		}
		outputToFile.close();
	}
}