This is a tricky scenario for many reasons!
The simplest solution, and also perhaps the least practical, is to pay down all your debts before quitting your job. Then you have a simpler scenario where you have a fixed withdrawal rate for the first ten years, with additional social security kicking in, which most FIRE calculators let you model pretty easily. cFIRESim does this trivially - for example, a 4% WR for ten years then dropping to 3% has never failed, historically.
The debts make things complicated, since there are multiple debts with varying maturation dates. Also, they're not inflation adjusted. So really, the question you're asking is: for a given debt, how much money do you need invested to cover the debt? You can model this in cFIRESim as well - I started a thread doing this for mortgages, but it should work equally well for any fixed rate debt.
If you have a debt that costs $10,000 per year and will be paid off in 10 years, with a 50/50 portfolio you need about $100,000 invested to cover that debt. This approach failed 2% of the time, which is safer than the 4% rule of thumb. If you have $110k invested the failure rate goes down to 1%. You can play with asset allocations - I think a 30/70 stock/bond split would do even better over 10 years.
Now that you've established your baselines, you can calculate your total asset allocation. For each debt, calculate how big a portfolio you need at what asset allocation to cover that debt. Then calculate how big a portfolio you need to live off of excluding all your debts. Then add them together and weight the asset allocations.
So say:
1.) $1,000,000 to live off in perpetuity at 80/20
2.) $200,000 to pay off a mortgage at 30/70
3.) $100,000 to pay off student loans at 30/70
So in total, $800k+60k+30k in equities, 200k+180k+70k in bonds, so $890k in equities and $350k in bonds.
This is probably overfitting a little to historical data since a 10 year duration is pretty short, so I wouldn't twiddle with stock/bond/cash ratios too much, but it should give a pretty decent baseline.