solve函数