本文共 502 字，大约阅读时间需要 1 分钟。

给定n组数据ai,bi,mi，对于每组数求出一个xi，使得ai乘以xi在模mi下等于bi。如果没有解，就输出impossible。

这个问题属于线性同余方程求解问题。具体来说，对于每一组数据，我们需要解方程：$a_i x_i ≡ b_i (mod m_i)$。这个方程有解的条件是$gcd(a_i, m_i)$能整除$b_i$。如果不满足这个条件，则无解。

当解存在时，我们可以通过扩展欧几里得算法找到$x$和$y$，使得$gcd(a_i, m_i) = a_i x + m_i y$。然后通过调整系数可以得到方程的解$x_i$。

具体步骤如下：

通过这样的方法，我们可以高效地求解每组对应的$x_i$。