satisfiability problem (SAT) instances