Symbol: SOLVER_FLAG_BEST_OBEY_POLICY