Symbol: SOLVER_SOLVABLE_ONE_OF