AT_abc187_c [ABC187C] 1-SAT
题目描述
给定 $N$ 个字符串 $S_1,\ S_2,\ \dots,\ S_N$。每个字符串都是在一个由小写英文字母组成的非空字符串前面加上 $0$ 个或 $1$ 个 `!` 字符得到的。
如果存在某个字符串 $T$，使得无论在 $T$ 前面加 $0$ 个还是 $1$ 个 `!`，都能与 $S_1,\ S_2,\ \dots,\ S_N$ 中的某个字符串完全一致，则称 $T$ 为“不满的字符串”。
请判断是否存在不满的字符串，如果存在，请输出其中任意一个。
输入格式
输入以以下格式从标准输入读入。
> $N$
> $S_1$
> $\vdots$
> $S_N$
输出格式
如果存在不满的字符串，输出其中任意一个。
如果不存在，输出 `satisfiable`。
说明/提示
### 限制条件
- $1 \leq N \leq 2 \times 10^5$
- $1 \leq |S_i| \leq 10$
- $S_i$ 是在一个由小写英文字母组成的非空字符串前面加上 $0$ 个或 $1$ 个 `!` 字符得到的。
### 样例解释 1
字符串 `a`，在前面加 $0$ 个 `!` 时与 $S_1$ 相同，加 $1$ 个 `!` 时与 $S_2$ 相同，因此 `a` 是不满的字符串。除了 `a`，输出 `d` 也是正确答案。
由 ChatGPT 4.1 翻译