Title: C2 SAT math