到目前為止只有 6 個求解器...