#include <iostream>
using namespace std;

#define max(a,b) (a>b?a:b)

int main()
{
	freopen("DATA2.txt", "r", stdin);
	freopen("OUT2.txt", "w", stdout);
	int t = 5;
	while(t--)
	{
		int n,arr[101];
		memset(arr,0,sizeof arr);
		cin>>n;
		int i,a;
		for (i=1;i<=n;i++)
		{
			cin>>a;
			arr[a]++;
		}
		bool check = 0;
		for (i=1;i<=100;i++)
			if (arr[i]>n/2)
			{
				cout<<"verified"<<endl;
				check = 1;
				break;
			}
		if (!check)
		{
			int m = 0;
			for (i=1;i<=100;i++)
				if (arr[i]!=0)
					m = max(m,arr[i]);
			if (m==1)
				cout<<"unknown"<<endl;
			else cout<<"unverified"<<endl;
		}
	}
	return 0;
}