Algebra in the SAT