Returns the least-trust solution to the set of constraints in the system.
if there are unsatisfiable constraints.