100 atcoder#ABC187C. [ABC187C] 1-SAT

[ABC187C] 1-SAT

题目描述

N N 個の文字列 S1, S2, , SN S_1,\ S_2,\ \dots,\ S_N が与えられます。 各文字列は、英小文字からなる空でない文字列の先頭に !0 0 文字か 1 1 文字付加したものです。
文字列 T T は、T T の先頭に !0 0 文字付加しても 1 1 文字付加しても S1, S2, , SN S_1,\ S_2,\ \dots,\ S_N のいずれかに一致するとき、不満な文字列であるといいます。
不満な文字列があるかどうか判定し、あれば 1 1 つ示してください。

输入格式

入力は以下の形式で標準入力から与えられる。

N N S1 S_1 \vdots SN S_N

输出格式

不満な文字列が存在する場合、不満な文字列を 1 1 つ出力せよ。
不満な文字列が存在しない場合、satisfiable と出力せよ。

6
a
!a
b
!c
d
!d
a
10
red
red
red
!orange
yellow
!blue
cyan
!green
brown
!gray
satisfiable

提示

制約

  • 1  N  2 × 105 1\ \le\ N\ \le\ 2\ \times\ 10^5
  • 1  Si  10 1\ \le\ |S_i|\ \le\ 10
  • Si S_i は英小文字からなる空でない文字列の先頭に !0 0 文字か 1 1 文字付加したものである。

Sample Explanation 1

文字列 a は、先頭に !0 0 文字付加する場合は S1 S_1 と、1 1 文字付加する場合は S2 S_2 と一致するため不満な文字列です。 a の他に、d を出力しても正解になります。