密码学一个带mod的方程组