4. Geometry on the SAT