#include<iostream>
#include<cmath>
#include<cstring>
#include<queue>
#include<vector>
using namespace std;
int main()
{
    freopen("DATA2.txt", "r", stdin);
    freopen("OUT2.txt", "w", stdout);
    int n;
    for (int q = 0; q < 5; q++)
    {
        cin >> n;
        int num;
        int used[101];
        for (int i = 0; i < 102; i++) used[i] = 0;
        for (int i = 0; i < n; i++)
        {
            cin >> num; used[num]++;
        }
        bool u = 1;
        for (int i = 0; i < 102; i++)
        {
            if (used[i] > (double)n/2)
            {
                cout << "verified" << endl;
                goto done;
            }
            if (used[i] > 1) u = 0;
        }
        cout << (u?"unknown":"unverified") << endl;
        done:;
    }
    return 0;
}