1.7 SAT Groups