13.2.1 求解器