Problem Definition SAT Problem where each clause contains exactly 3 literals (and each literal corresponds to a different variable).