#abc187c. [abc187_c]1-SAT

[abc187_c]1-SAT

Problem Statement

Given are NN strings S1,S2,dots,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,dots,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

  • 1leNle2times1051 \\le N \\le 2 \\times 10^5
  • 1leSile101 \\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\\vdots SNS_N

Output

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


Sample Input 1

6
a
!a
b
!c
d
!d

Sample Output 1

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.


Sample Input 2

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

Sample Output 2

satisfiable