#include <cstdio>
#include <queue>
#include <cstring>
#define MAX 10100

using namespace std ;

struct Node{
	int to,next;
}edge[2*MAX];

int f[MAX] , head[MAX] ,a[2*MAX],b[2*MAX] , in[MAX];
char ch[2*MAX] ;
bool visited[MAX] ;
void init(int n)
{
	for(int i = 0 ; i <= n ; ++i)
	{
		f[i] = i ;
		head[i] = -1 ; 
		visited[i] = false ;
		in[i]=0;
	}
}

int find(int x)
{
	int r=x ;
	while(r != f[r])
	{
		r = f[r] ;
	}
	int temp = x ;
	while(temp != r)
	{
		x = f[temp] ;
		f[temp] = r ;
		temp = x ;
	}
	return r ;
}

int main()
{
	int m , n;
	while(scanf("%d%d",&n,&m) != EOF)
	{
		init(n) ;
		int num = n ;
		for(int i = 0 ; i < m ; ++i)
		{
			scanf("%d %c %d",a+i,ch+i,b+i) ;
			if(ch[i] == '=')
			{
				int fa = find(a[i]),fb = find(b[i]) ;
				if(fa != fb)
				{
					f[fa] = f[fb] ;
					num-- ;
				}
			}
		}
		int index = 0 ;
		bool flag = false ;
		for(int i = 0 ; i < m ; ++i)
		{
			if(ch[i] == '=')
				continue ;
			int fa = find(a[i]) , fb = find(b[i]) ;		//一定要注意这个，每次都是直接更新到父结点上！！ 
			if(fa == fb)
			{
				flag = true ;
				break ;
			}
			if(ch[i] == '>')
			{
				bool repeat = false ;
				for(int j = head[fa] ; j != -1 ; j = edge[j].next)		//防止重边，下同 
				{
					if(edge[j].to == fb)
					{
						repeat = true ;
						break ;
					}
				}
				if(!repeat)
				{
					edge[index].to = fb;		//不是更新当前的边，，而是从更新父结点。 
					edge[index].next = head[fa] ;
					head[fa] = index++  ;
					in[fb] ++;
				}
			}
			else if(ch[i] == '<')
			{
				bool repeat = false ;
				for(int j = head[fb] ; j != -1 ; j = edge[j].next)
				{
					if(edge[j].to == fa)
					{
						repeat = true ;
						break ;
					}
				}
				if(!repeat)
				{
					edge[index].to = fa;
					edge[index].next = head[fb];
					head[fb] = index ++ ;
					in[fa]++ ;
				}
			}
		}
		if(flag)
		{
			puts("CONFLICT");
			continue ;
		}
		flag = false ;
		queue<int> que ;
		for(int i = 0 ; i < n ; ++i)
		{
			if(in[i] == 0 && i == find(i))
			{
				que.push(i) ;
			}
		}
		while(!que.empty())
		{
			if(que.size()>1)
			{
				flag = true ;
			}
			num-- ;
			int j = que.front() ;
			que.pop() ;
			visited[j] = true ;
			for(int k = head[j] ; k != -1 ; k = edge[k].next)
			{
				in[edge[k].to]--;
				if(!visited[edge[k].to] && in[edge[k].to]==0)
				{
					que.push(edge[k].to) ;
				}
			}
		}
		if(num>0)
		{
			puts("CONFLICT") ;
		}
		else if(flag)
		{
			puts("UNCERTAIN") ;
		}
		else
		{
			puts("OK") ;
		}
	}
	return 0 ;
}