solver函数