SDP solving working