当数据类似于2^x=4(mod8)这种的时候，部分代码未特判b=1的情况，输出为No Solution

可以增加几组使a|p的情况