Wolfram Mathematica 如何用枚举搜索方程无解