题目链接：~

题意：有n个人对m个方案投票，每个人最多只能对其中的4个方案投票(其他的相当于弃权)，每一票要么支持要么反对。问是否存在一个最终决定，使得每个投票人都有超过一半的建议被采纳，在所有可能的最终决定中，哪些方案的态度是确定的。

解法：

注意到一个人最多投四个，我们分情况讨论一下：
1.投<=2个：注意题目中说的是严格大于投票的一半，所以必须都采纳。
2.投3~4个：同上，最多不采纳一个。
设xi表示最后是否通过方案i，
第一种直接连2-SAT问题中确定项的边即可，第二种的限制是枚举任意两个组合，这两个中至少有一个成立。


#include <bits/stdc++.h>
using namespace std;
const int maxn = 100010;
int n, m;
char ans[maxn];
int getid(int x, int y)
{
    return (x - 1) * 2 + y;
}
struct edge
{
    int to, next;
} E[maxn * 2];
int head[maxn], edgecnt;
void init()
{
    edgecnt = 0;
    memset(head, -1, sizeof(head));
}
void add(int u, int v)
{
    E[edgecnt].to = v, E[edgecnt].next = head[u], head[u] = edgecnt++;
}
void add2(int a, int i, int b, int j)
{
    add(getid(a, !i), getid(b, j));
    add(getid(b, !j), getid(a, i));
}
bool mark[maxn];
int c, S[maxn];
bool dfs(int x)
{
    if (mark[x ^ 1]) return false;
    if (mark[x]) return true;
    mark[x] = true;
    S[c++] = x;
    for (int i = head[x]; ~i; i = E[i].next)
    {
        if (!dfs(E[i].to)) return false;
    }
    return true;
}
bool solve()
{
    memset(mark, 0, sizeof(mark));
    for (int i = 0; i < n * 2; i += 2)
    {
        if (!mark[i] && !mark[i + 1])
        {
            c = 0;
            bool bo1 = dfs(i);
            while (c) mark[S[--c]] = false;
            c = 0;
            bool bo2 = dfs(i + 1);
            while (c) mark[S[--c]] = false;
            if (bo1 && bo2) ans[i / 2] = '?';
            else if (bo1) ans[i / 2] = 'n';
            else if (bo2) ans[i / 2] = 'y';
            else return false;
        }
    }
    ans[n] = '\0';
    return true;
}
void read()
{
    int k, x[5], y[5];
    char s[5];
    scanf("%d", &k);
    for (int i = 1; i <= k; i++)
    {
        scanf("%d%s", &x[i], s);
        if (s[0] == 'y') y[i] = 1;
        else y[i] = 0;
    }
    if (k <= 2)
    {
        for (int i = 1; i <= k; i++) add(getid(x[i], !y[i]), getid(x[i], y[i]));
    }
    else
    {
        for (int i = 1; i <= k; i++)
            for (int j = i + 1; j <= k; j++)
                add2(x[i], y[i], x[j], y[j]);
    }
}
int main()
{
    int ks = 0;
    while (scanf("%d %d", &n, &m) != EOF)
    {
        if (n == 0 && m == 0) break;
        init();
        for (int i = 1; i <= m; i++) read();
        if (!solve())
        {
            printf("Case %d: impossible\n", ++ks);
        }
        else
        {
            printf("Case %d: %s\n", ++ks, ans);
        }
    }
    return 0;
}