Submission #19723786

---

Source Code Expand

import sys

n=int(input())

dic={}
for i in range(n):
  s=input()
  if s in dic:
    continue
  else:
    if s[0]=="!":
      if s[1:] in dic:
        print(s[1:])
        sys.exit()
      else:
        dic[s] = 1
    else:
      now = "!"+s
      # print(now)
      if "!"+s in dic:
        print(s)
        sys.exit()
      else:
        dic[s] = 1
# print(dic)   
print("satisfiable")

Submission Info

Judge Result