SAT. KNOWLEDGE