//Author: xiaowuga
#include <bits/stdc++.h>
#define maxx INT_MAX
#define minn INT_MIN
#define inf 0x3f3f3f3f
const long long N=10000+10;
using namespace std;
typedef long long LL;
vector<int>p[N];
int f[N];
int in[N];
struct node{
    int x,y;
    char ch;
}oj[N];
 int n,m;
int ct=0,flag=0;
//并查集套路
int Find(int x){
    return f[x]==x?x:f[x]=Find(f[x]);
}
void topo(){
    queue<int>q;
    while(!q.empty()) q.pop();
    for(int i=0;i<n;i++) if(!in[i]&&Find(i)==i) q.push(i);//首先得是并查集中的根，然后出度为0
    while(!q.empty()){
        if(q.size()>1) flag=1;//同级元素大于一个说明有至少有两个元素无法比较，所以信息不完全
        int t=q.front();q.pop();
        ct++;
        for(int i=0;i<p[t].size();i++){
            int tmp=p[t][i];
            if(--in[tmp]==0) q.push(tmp);
        }
    }
    if(ct!=n) cout<<"CONFLICT"<<endl;
    else if(flag) cout<<"UNCERTAIN"<<endl;
    else cout<<"OK"<<endl;
}
int main() {
    ios::sync_with_stdio(false);cin.tie(0);
    while(cin>>n>>m){
        for(int i=0;i<n;i++) f[i]=i;
        memset(in,0,sizeof(in));
        for(int i=0;i<n;i++) p[i].clear();
        int x,y;
        ct=flag=0;
        //先处理‘=‘带来的点的减少，建立并查集缩点
        for(int i=0;i<m;i++){
            cin>>oj[i].x>>oj[i].ch>>oj[i].y;
            if(oj[i].ch==‘=‘){
                x=Find(oj[i].x);
                y=Find(oj[i].y);
                if(x!=y) {f[x]=y;ct++;}//缩点了别忘了ct++,因为相当于总点数减少了一个
            }
        }
        //根据缩完点的点边关系，反向建图（正向建图也可以）
        for(int i=0;i<m;i++){
            if(oj[i].ch==‘=‘) continue;
            x=Find(oj[i].x);
            y=Find(oj[i].y);
            if(oj[i].ch==‘>‘){
                p[y].push_back(x);     
                in[x]++;
            }
            else{
                p[x].push_back(y);
                in[y]++;
            }
            
        }
        //并查集处理完建图之后就是常规的拓扑排序
        topo();
    }
    return 0;
}