#abc187c. [abc187_c]1-SAT
[abc187_c]1-SAT
问题描述
给定 个字符串 。每个字符串都是由小写英文字母组成的非空字符串,开头可能有一个 !
。
只要字符串 与 中的任何一个匹配,无论是否在 的开头添加一个 !
,我们将其称为不满足条件。
确定是否存在一个不满足条件的字符串。如果存在,输出一个这样的字符串。
约束条件
- 是由小写英文字母组成的非空字符串,开头可能有一个
!
。
输入
输入以以下格式从标准输入给出:
输出
如果存在不满足条件的字符串,则输出一个这样的字符串。
如果不存在不满足条件的字符串,则输出 satisfiable
。
示例输入 1
6
a
!a
b
!c
d
!d
示例输出 1
a
a
可以直接与 匹配,当在开头添加一个 !
时它可以与 匹配,因此它是不满足条件的。除此之外,d
也可以被接受。
示例输入 2
10
red
red
red
!orange
yellow
!blue
cyan
!green
brown
!gray
示例输出 2
satisfiable