I'm sorry, I think I'm mistaken with Euler's theorem.
If [tex]a\equiv b^n (\mod n^2)[/tex] then [tex]|a-kn^2|=b^n[/tex] for some k which can be computed easily. Then you can use an n-th root extraction algorithm, without modular arithmetic.
But then I'm not using the fact that the factors of n are known, so maybe this isn't a good solution. Maybe I missed something.