SAT #9 explanations