Symbol: solver_prepare_solutions