Boolean satisfiability.