模线性方程组（中国剩余定理+通用解法）