Working SDP for binary correlators.