AtCoder Beginner Contest 187
C
1-SAT
AtCoder
⌀ 137
原题
← BD →
翻译中…

Problem Statement

翻译中…

Given are $N$ strings $S_1, S_2, \dots, S_N$. Each of these is a non-empty string consisting of lowercase English letters, with zero or one ! added at the beginning. We say a string $T$ to be unsatisfied when it matches one of $S_1, S_2, \dots, S_N$ regardless of whether we add an ! at the beginning of $T$. Determine whether there exists an unsatisfied string. If so, present one such string.

翻译中…

Constraints

翻译中…
  • $1 \le N \le 2 \times 10^5$
  • $1 \le |S_i| \le 10$
  • $S_i$ is a non-empty string consisting of lowercase English letters, with zero or one ! added at the beginning.
翻译中…

Input

翻译中…

Input is given from Standard Input in the following format:

翻译中…

N
S_1
\vdots
S_N

翻译中…

Output

翻译中…

If there exists an unsatisfied string, print one such string. If there is no unsatisfied string, print satisfiable.

翻译中…

样例

Input #1
6
a
!a
b
!c
d
!d
Output #1
a
`a` matches $S_1$ as is, and it matches $S_2$ when we add an `!`, so it is unsatisfied. Besides that, `d` will also be accepted.
Input #2
10
red
red
red
!orange
yellow
!blue
cyan
!green
brown
!gray
Output #2
satisfiable
题目信息
题号
abc187_c
时间限制
2 s
内存限制
1024 MB

题面与样例版权归 AtCoder 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。