Popular SAT Concept "Solve for x."