侦探推理
| 成绩 | 100 | 开启时间 | 2020年02月18日 星期二 15:15 |
| 折扣 | 0.8 | 折扣时间 | 2020年02月18日 星期二 15:15 |
| 允许迟交 | 是 | 关闭时间 | 2020年02月18日 星期二 15:15 |
| 输入文件 | LOGIC.in | 输出文件 | LOGIC.out |
【题目描述】侦探推理（LOGIC）NOIP 2003
小光经常召集了一群同学玩推理游戏。游戏的内容是这样的，由同学们先商量好由其中的一个人充当罪犯（在小光不知情的情况下），小光的任务就是找出这个罪犯。接着，小光逐个询问每一个同学，被询问者可能会说的内容如表3.2所示。
表3.2
|
证词内容 |
证词含义 |
|
I am guilty |
我是罪犯 |
|
I am not guilty |
我不是罪犯 |
|
XXX is guilty |
XXX是罪犯 |
|
XXX is not guilty |
XXX不是罪犯 |
|
Today is XXX |
今天是（Monday,Tuesday,Wednesday,Thursday,Friday,Saturday,Sunday）之一 |
证词中出现的其他话，都不列入逻辑推理的内容。
小光所知道的是，他的同学中有N个人始终说假话，其余的人始终说真话。
现在，小光要从他同学的话中推断出谁是真正的凶手，请记住，凶手只有一个!
【输入格式】
输入由若干行组成，第一行有三个整数，M（1≤M≤20），N（1≤N≤M）和P（1≤P≤100）；M是参加游戏的小光的同学数，N是其中始终说谎的人数，P是证言的总数。接下来M行，每行是小光的一个同学的名字（英文字母组成，没有空格，全部大写）。往后有P行，每行开始是某个同学的名字，紧接着一个冒号和一个空格，后面是一句证词，符合前表中所列格式。证词每行不会超过250个字符。
输入中不会出现连续的两个空格，而且每行开头和结尾也没有空格。
【输出格式】
如果你能确定谁是罪犯，则输出他的名字；如果程序判断出不止一个人可能是罪犯，则输出Cannot Determine；如果程序判断出没有人可能成为罪犯，则输出Impossible。
【输入样例】
3 1 5
MIKE
CHARLES
KATE
MIKE：I am guilty.
MIKE：Today is Sunday.
CHARLES：MIKE is guilty.
KATE：I am guilty.
KATE：How are you?
【输出样例】
MIKE