DWITE Contest

Test Case for Question #2 in DWITE 2009-2010 High School Round 4

Contest: DWITE 2009-2010 High School Round 4
Question: #2
Input File: DATA2.txt
Output File: OUT2.txt


Input

1
42
3
42
42
42
5
10
11
12
13
14
5
99
10
11
12
99
5
42
42
99
99
10




Output

verified
verified
unknown
unverified
unknown