SAT 1 explanations