在实现程序自动分析的过程中，常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本：假设 代表程序中出现的变量，给定 个形如 或 的变量相等不等的约束条件，请判定是否可以分别为每一个变量赋予恰当的值，使得上述所有约束条件同时被满足。例如，一个问题中的约束条件为： ，这些约束条件显然是不可能同时被满足的，因此这个问题应判定为不可被满足。 现在给出一些约束满足问题，请分别对它们进行判定。

输入描述:

第 行包含 个正整数 ，表示需要判定的问题个数。注意这些问题之间是相互独立的。对于每个问题，包含若干行：第 行包含 个正整数 ，表示该问题中需要被满足的约束条件个数。接下来 行，每行包括 个整数 ，描述 个相等不等的约束条件，相邻整数之间用单个空格隔开。若 ，则该约束条件为 ；若 ，则该约束条件为 。

输出描述:

输出包括 行。第 行输出一个字符串 或者 ， 表示输入中的第 个问题判定为可以被满足， 表示不可被满足。