可以构造出无解的数据，如何快速判断一个数据是否有解？