Symbol: SOLVER_WEAK