07-10 Boolean Satisfiability Proble...