SAT #3 explanations