Solving for the solution