SOLVER_RULE_UNKNOWN
case SOLVER_RULE_UNKNOWN:
SolverRuleinfo type = SOLVER_RULE_UNKNOWN;
return SOLVER_RULE_UNKNOWN;
return SOLVER_RULE_UNKNOWN;
return SOLVER_RULE_UNKNOWN;
case SOLVER_RULE_UNKNOWN: