SolverAdd函数