Symbol: solver_printdecisionq