satisfiability problem | ScratchStats