Properties of curve-SAT