jacobian of constraint is not definite, how to do fast projection?