SAT #6 explanations