SAT #5 explanations