(base) C:\Users>conda update --all
Collecting package metadata: done
Solving environment: / WARNING conda.common.logic:get_sat_solver_cls(278): Could not run SAT solver through interface 'pycosat'.
failed
CondaDependencyError :
无法运行求解器。没有可用的功能性 SAT 实现。
现在不能更新了，怎么办？