SAT #7 explanations