summaryrefslogtreecommitdiffstats
path: root/05-advanced_algorithms_and_complexity/04-np-completeness/01-circuit_design/tests/18.a
blob: 61e7cb13b26130e1d4bfa99e8cc734cd4e71b752 (plain)
1
2
SATISFIABLE
1 2 3 4 5 6 -7 -8