Debt Service Test - Payment Known, how do I find Principal Balance?

I solved my own problem. It can be done by first finding the debt constant, then the desired debt service, then divided the desired debt service by the constant. That's your paydown.