Solver_solution is dynamic (for now...)