Hardprob/Maximum 3-Dimensional Matching