1-SAT

Δίνονται ~N~ συμβολοσειρές ~S_1~, ~S_2~, ~...~, ~S_N~. Καθεμία από αυτές είναι μια μη κενή συμβολοσειρά που αποτελείται από πεζά αγγλικά γράμματα, με ένα μηδενικό ή ένα ~!~ στην αρχή της. Λέμε ότι μια συμβολοσειρά ~T~ είναι "μη ικανοποιημένη" όταν ταιριάζει με μία από τις ~S_1~, ~S_2~, ~...~, ~S_N~ ανεξάρτητα από το αν προσθέσουμε ένα ~!~ στην αρχή της ~T~. Προσδιορίστε αν υπάρχει κάποια μη ικανοποιημένη συμβολοσειρά. Αν ναι, παρουσιάστε μία τέτοια συμβολοσειρά.

Περιορισμοί

• ~1 \le N \le 2 \times 10^5~
• ~1 \le \left| S_i \right| \le 10~
• Η ~S_i~ είναι μια μη μηδενική συμβολοσειρά αποτελούμενη από πεζά αγγλικά γράμματα, με ένα μηδενικό ή ένα ~!~ στην αρχή της.
• Time Limit: ~2~ sec.
• Memory Limit: ~1024~ MB

Είσοδος

Η είσοδος θα δίνεται από την τυπική είσοδο (standard input) και θα έχει την ακόλουθη μορφή:

N
S1
.
.
.
SN

Έξοδος

Αν υπάρχει μια μη ικανοποιημένη συμβολοσειρα, εκτυπώστε μια τέτοια συμβολοσειρά. Αν δεν υπάρχει μη ικανοποιημένη συμβολοσειρά, εκτυπώστε ~satisfiable~ (ικανοποιήσιμη).

Παραδείγματα

1ο

input

6
a
!a
b
!c
d
!d

output

a

Επεξήγηση πρώτου παραδείγματος:

Η a ταιριάζει με την ~S_1~ όπως είναι, και ταιριάζει με την ~S_2~ όταν προσθέσουμε ένα ~!~, άρα είναι δυσαρεστημένη. Επιπλέον, το ~d~ θα γίνει επίσης αποδεκτό.

2ο

input

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

output

satisfiable