Geometry in the SAT