Lovasz Theta Problem sdp sdpt3 SPARSE_SDPA nt This model is taken from SDPLIB: http://www.nmt.edu/~borchers/sdplib.html/