Maximum Cut Problem sdp sdpt3 SPARSE_SDPA hkm This model is taken from SDPLIB: http://www.nmt.edu/~borchers/sdplib.html/