$K, Y$ と素数 $P$ が与えられ、$X^K \equiv Y \pmod{P}$ を満たす $X$ を求める。