Symbol: solver_printproblem