Symbol: SOLVER_LOCK