changed sign and sdp constraints