added simple semidefinite constraints. doesn't work yet.