#abc187c. [abc187_c]1-SAT

[abc187_c]1-SAT

问题描述

给定 NN 个字符串 S1,S2,,SNS_1, S_2, \dots, S_N。每个字符串都是由小写英文字母组成的非空字符串,开头可能有一个 !

只要字符串 TTS1,S2,,SNS_1, S_2, \dots, S_N 中的任何一个匹配,无论是否在 TT 的开头添加一个 !,我们将其称为不满足条件。

确定是否存在一个不满足条件的字符串。如果存在,输出一个这样的字符串。

约束条件

  • 1N2×1051 \le N \le 2 \times 10^5
  • 1Si101 \le |S_i| \le 10
  • SiS_i 是由小写英文字母组成的非空字符串,开头可能有一个 !

输入

输入以以下格式从标准输入给出:

NN S1S_1 \vdots SNS_N

输出

如果存在不满足条件的字符串,则输出一个这样的字符串。
如果不存在不满足条件的字符串,则输出 satisfiable

示例输入 1

6
a
!a
b
!c
d
!d

示例输出 1

a

a 可以直接与 S1S_1 匹配,当在开头添加一个 ! 时它可以与 S2S_2 匹配,因此它是不满足条件的。除此之外,d 也可以被接受。

示例输入 2

10
red
red
red
!orange
yellow
!blue
cyan
!green
brown
!gray

示例输出 2

satisfiable