is the value of the solution.