Problem E: PIPI的推理游戏

Problem E: PIPI的推理游戏

Time Limit: 1 Sec  Memory Limit: 128 MB
Submit: 266  Solved: 66
[Submit] [Status] [Web Board] [Creator:]

Description

PIPI最近迷上了一款推理类的游戏,游戏规则如下:
一、游戏一共有n个发言者,每个发言者有唯一的名字。
二、n个发言者里隐藏着1位凶手,PIPI的任务就是从这n位发言者的发言找到唯一的凶手是谁(也有可能通过现有发言找不出凶手或者找到的不止一个) 
三、n个发言者会有以下六种的发言:
(1)I am guilty. —— 宣称自己是凶手
(2)I am not guilty. —— 宣称自己不是凶手
(3)XXX is guilty. —— 宣称XXX是凶手(XXX是某位发言者的名字)
(4)XXX is not guilty. —— 宣称XXX不是凶手
(5)Today is XXX. ——宣称今天是星期几(XXX可以是Monday,Tuesday,Wednesday,Thursday,Friday,Saturday,Sunday)
(6)Meaningless talking(such as Hello, how are you?  I am fine and you?) —— 除了前五种形式发言以外的所有发言都是不提供任何线索的闲聊
四、n个发言者中,有m个人从头到尾只说假话,其余人只说真话。
PIPI犯难了,希望你能帮它找出谁是唯一的凶手! 

Input

单组数据。
第一行包含三个整数,n,m,q,分别表示发言者人数,从头到尾说谎的人数以及一共有q条发言。n<=20,m<=n,q<=1000.
接下来n行,每行一个字符串,表示n个发言者的名字。保证名字由大写英文字母组成,没有空格。 名字长度不超过20个字符。
接下来q行,每行给出一句发言。发言的开始是某个同学的名宇,紧跟着一个冒号和一个空格,后面是一句发言,符合前面规定的六种形式。具体看样例。
前五种形式的发言一定会严格按照前文给出的格式,否则都算作第六种发言。且单次发言只会属于某一种形式。
发言不会超过256个字符,且每句发言的前后都无空格。

Output

如果能够找出唯一的凶手,输出他的名字
如果答案不唯一,输出"Not sure"
如果发言出现矛盾或者判断出没有人可能成为凶手,输出-1

Sample Input

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??

Sample Output

MIKE

HINT

注意:如果PIPI怀疑了一个发言者,并且所有发言都无法证伪这一怀疑,那么被怀疑的对象就可以认为是凶手,例如:
1 0 1
A
A: My name is A.
此时凶手就是A。