SDP-based Max-2-Sat Decomposition