Returns the greatest solution to the set of constraints in the system.
if there are unsatisfiable constraints.