假设总有一个解决方案