Symbol: solver_printsolution