SAT curves