Aiming for 10%. In the recent years it's been 20% (much thanks to Tesla!!) but I don't expect that to last.
Just to be totally, clear, IF the house was lost (and that is a massive, big, huge if) there's still enough equity in it to buy another, MUCH smaller house or rent until the kids move out...