Submission #19723786


Source Code Expand

Copy
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

Submission Time
Task C - 1-SAT
User sima07
Language Python (3.8.2)
Score 300
Code Size 416 Byte
Status AC
Exec Time 348 ms
Memory 35292 KB

Judge Result

Set Name Sample All
Score / Max Score 0 / 0 300 / 300
Status
AC × 2
AC × 30
Set Name Test Cases
Sample sample_01.txt, sample_02.txt
All 01_small.txt, 02_small.txt, 03_small.txt, 04_small.txt, 05_small.txt, 06_small.txt, 07_small.txt, 08_small.txt, 09_small.txt, 10_small.txt, 11_small.txt, 12_small.txt, 13_small.txt, 14_small.txt, 15_small.txt, 16_satisfiable1.txt, 17_satisfiable2.txt, 18_unsatisfiable1.txt, 19_unsatisfiable1.txt, 20_unsatisfiable1.txt, 21_unsatisfiable1.txt, 22_unsatisfiable1.txt, 23_unsatisfiable1.txt, 24_unsatisfiable1.txt, 25_unsatisfiable1.txt, 26_unsatisfiable2.txt, 27_unsatisfiable2.txt, 28_same.txt, sample_01.txt, sample_02.txt
Case Name Status Exec Time Memory
01_small.txt AC 17 ms 9004 KB
02_small.txt AC 19 ms 8908 KB
03_small.txt AC 21 ms 9136 KB
04_small.txt AC 18 ms 9008 KB
05_small.txt AC 27 ms 8900 KB
06_small.txt AC 21 ms 9060 KB
07_small.txt AC 19 ms 8904 KB
08_small.txt AC 21 ms 9004 KB
09_small.txt AC 20 ms 9064 KB
10_small.txt AC 20 ms 9132 KB
11_small.txt AC 19 ms 8908 KB
12_small.txt AC 23 ms 9012 KB
13_small.txt AC 21 ms 8948 KB
14_small.txt AC 19 ms 9060 KB
15_small.txt AC 21 ms 8896 KB
16_satisfiable1.txt AC 337 ms 35216 KB
17_satisfiable2.txt AC 254 ms 10648 KB
18_unsatisfiable1.txt AC 342 ms 35292 KB
19_unsatisfiable1.txt AC 348 ms 35104 KB
20_unsatisfiable1.txt AC 337 ms 35220 KB
21_unsatisfiable1.txt AC 343 ms 35240 KB
22_unsatisfiable1.txt AC 345 ms 35276 KB
23_unsatisfiable1.txt AC 343 ms 35284 KB
24_unsatisfiable1.txt AC 337 ms 35108 KB
25_unsatisfiable1.txt AC 339 ms 35108 KB
26_unsatisfiable2.txt AC 56 ms 10288 KB
27_unsatisfiable2.txt AC 40 ms 9676 KB
28_same.txt AC 237 ms 9152 KB
sample_01.txt AC 19 ms 9060 KB
sample_02.txt AC 24 ms 8904 KB