Correlation Clustering: maximizing agreements via semidefinite programming | Synapse