Imagine we have a=ModPow(b,c) The exact code may be different in different languages of course. How a satisfying a could be generated having
a=ModPow(b,c)
a