老实来说，根据有限项是无法推出下一项的。换句话说，这必然是多解的。
比如72题，很明显a,b,c→Mod[ab+bc,70]满足题意，但是结果并不正确。
不过也无所谓了。