100 atcoder#ABC187C. [ABC187C] 1-SAT

[ABC187C] 1-SAT

Score : 300300 points

Problem Statement

Given are NN strings S1,S2,,SNS_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 TT to be unsatisfied when it matches one of S1,S2,,SNS_1, S_2, \dots, S_N regardless of whether we add an ! at the beginning of TT. Determine whether there exists an unsatisfied string. If so, present one such string.

Constraints

  • 1N2×1051 \le N \le 2 \times 10^5
  • 1Si101 \le |S_i| \le 10
  • SiS_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:

NN

S1S_1

\vdots

SNS_N

Output

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

6
a
!a
b
!c
d
!d
a

a matches S1S_1 as is, and it matches S2S_2 when we add an !, so it is unsatisfied. Besides that, d will also be accepted.

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