Exact Machine Learning: Improving Space And Speed Of Maxsat Solvers For Correlation Clustering