SOLVER_FLAG_BEST_OBEY_POLICY
solver_set_flag(fSolver, SOLVER_FLAG_BEST_OBEY_POLICY, 1);
{ SOLVER_FLAG_BEST_OBEY_POLICY, "bestobeypolicy", 0 },
case SOLVER_FLAG_BEST_OBEY_POLICY:
case SOLVER_FLAG_BEST_OBEY_POLICY: