7.15 This question considers representing satisfiability (SAT) problems as CSPs.&nbsp