Symbol: solver_state