#include <stdio.h>
#include <bits/stdc++.h>
using namespace std;
#define INF 0x3f3f3f3f
#define LC(x) (x<<1)
#define RC(x) ((x<<1)+1)
#define MID(x,y) ((x+y)>>1)
#define CLR(arr,val) memset(arr,val,sizeof(arr))
#define FAST_IO ios::sync_with_stdio(false);cin.tie(0);
typedef pair<int, int> pii;
typedef long long LL;
const double PI = acos(-1.0);
const int N = 10010;
const int M = 20010;
struct edge
{
    int to, nxt;
    edge() {}
    edge(int _to, int _nxt): to(_to), nxt(_nxt) {}
} E[N];
struct info
{
    int a, b;
    char ops[3];
} rela[M];

int head[N], tot;
int in[N], out[N], pre[N], ran[N], cnt[N], vis[N], dis[N];

void init()
{
    CLR(head, -1);
    tot = 0;
    CLR(in, 0);
    CLR(out, 0);
    CLR(pre, -1);
    CLR(cnt, 0);
    CLR(vis, 0);
    CLR(dis, 0);
    fill(ran, ran + N, 1);
}
int Find(int n)
{
    return pre[n] == -1 ? n : pre[n] = Find(pre[n]);
}
void joint(int a, int b)
{
    a = Find(a);
    b = Find(b);
    if (a == b)
        return ;
    pre[a] = b;
    ran[b] += ran[a];
    ran[a] = 0;
}
inline void add(int s, int t)
{
    E[tot] = edge(t, head[s]);
    head[s] = tot++;
}
int Top_sort1(int n)
{
    queue<int>Q;
    int i;
    bool uncertain = false, conflict = false;
    for (i = 0; i < n; ++i)
    {
        int fi = Find(i);
        if (!vis[fi] && !in[fi])
        {
            Q.push(fi);
            dis[fi] = 1;
            ++cnt[dis[fi]];
            vis[fi] = 1;
        }
        if (!out[fi] && !in[fi] && ran[fi] < n)
            uncertain = true;
    }
    CLR(vis, 0);
    while (!Q.empty())
    {
        int u = Q.front();
        Q.pop();
        for (i = head[u]; ~i; i = E[i].nxt)
        {
            int v = E[i].to;
            if (--in[v] == 0)
            {
                Q.push(v);
                dis[v] = dis[u] + 1;
                if (!vis[v])
                    ++cnt[dis[v]];
            }
        }
    }
    for (i = 0; i < n; ++i)
    {
        int fi = Find(i);
        if (in[fi])
        {
            conflict = true;
            break;
        }
    }
    for (i = 1; i <= n; ++i)
    {
        if (cnt[i] >= 2)
        {
            uncertain = true;
            break;
        }
    }
    if (conflict)
        return -1;
    else if (uncertain)
        return 0;
    return 1;
}
int main(void)
{
    int n, m, i;
    while (~scanf("%d%d", &n, &m))
    {
        init();
        for (i = 0; i < m; ++i)
        {
            scanf("%d %s %d", &rela[i].a, rela[i].ops, &rela[i].b);
            if (rela[i].ops[0] == ‘=‘)
                joint(rela[i].a, rela[i].b);
        }
        for (i = 0; i < m; ++i)
        {
            if (rela[i].ops[0] == ‘=‘)
                continue;
            if (rela[i].ops[0] == ‘<‘)
                swap(rela[i].a, rela[i].b);
            int fa = Find(rela[i].a), fb = Find(rela[i].b);
            add(fa, fb);
            ++in[fb];
            ++out[fa];
        }
        int ans = Top_sort1(n);
        if (ans == 1)
            puts("OK");
        else if (ans == 0)
            puts("UNCERTAIN");
        else
            puts("CONFLICT");
    }
    return 0;
}