Symbol: solver_enableproblem