题目背景 自美苏争霸开始以来，在苏联高层中出现了越来越多的间谍，这也就导致了苏联在美苏争霸中逐渐败退，甚至走向衰亡。而你，作为当时苏联的内政部长，决定整治间谍现象，让苏联重振雄风！

题目描述 现在给出一份待调查的苏联官员名单，共有m人，且已经确定其中有n人为间谍。

后来经过审问，每位官员都给出了一句证词，已知这些证词中只有k句为真话，其余全部为假话。

对于此题，保证他们的证词只有以下几种可能：

1、I am spy.(我是间谍)

2、I am not spy.(我不是间谍)

3、(人名) is spy.(（人名）是间谍)

4、(人名) is not spy.(（人名）不是间谍)

5、(人名) is wrong.(（人名) 说的是错的)

请输出间谍的名字，每个名字一行。

输入格式 第一行包括3个整数m，n，k

第2~m+1行，每行两个字符串，分别代表官员的国籍及其姓名（中间用空格隔开）

第m+2~2*m+1行，每行包含2个字符串，分别为官员的名字及他的证词（中间用冒号和空格隔开）

输出格式 输出每个间谍的国籍及名字，每个国籍及名字一行（中间用空格隔开），注意按题目所给顺序输出。

如果按目前的条件无法判断出间谍，则输出We don't know!

输入输出样例 输入 #1 3 1 2 CHN Zhangsan USSR Lisi USA Danny Zhangsan: Danny is spy. Lisi: Danny is wrong. Danny: I am not spy. 输出 #1 USA Danny 说明/提示 【数据范围】

对于40%的数据，保证有且只有一名间谍。

对于100%的数据，保证1≤m≤20,1≤n≤5,1≤k<m

这是我自己出的题，求助各位神犇们，实在是不会写。