A simple satisfiability solver