c1, c3, l2, l3, s1, s3, a, b, 
-c1*l2-c3*l3+a
-l2*s1-l3*s3+b
c1^2+s1^2-1
c3^2+s3^2-1
