On the complexity of the satisfiability problem | NiceBooksReads