Fixed problems with SDP formulation for A