[adrianN]

It also works for solving SAT. Try two literals and recurse on the one that can be made to satisfy more clauses.