Zugewinn - Haus im alleinigen Eigentum, Auszahlung

Hallo liebe Community,
da diese Konstellation offensichtlich nicht so häufig vorkommt, wende ich mich an das Forum mit der Bitte um Ideen zur Lösung oder auch sonstige andere Perspektiven.
Ein Ehepaar ist seit 2006 verheiratet, aus der Ehe gingen zwei Kinder hervor. 2021 wurde die Scheidung eingereicht, nach erfolgtem Trennungsjahr, es besteht Zugewinngemeinschaft.
In 2008 wurde ein Haus gekauft, im Grundbuch ist nur die Ehefrau eingetragen. Für die Schulden haften beide ggü. der Bank. Es besteht noch eine Restschuld, die monatlichen Kreditraten werden zu 90% vom Ehemann, zu 10% von der Ehefrau getragen.
Die Ehefrau ist mit den Kindern aus dem Haus ausgezogen. Der Ehemann wohnt dort noch und möchte auch dort bleiben.
Nun zur eigentlichen Frage: Im Rahmen des Zugewinns, wird der Ehefrau der Wert des Hauses voll zugerechnet, und beiden Ehepartnern jeweils die Hälfte der Restschuld. Somit ist die Frau gegenüber dem Mann ausgleichspflichtig. Da er jedoch in dem Haus wohnt, kann sie auch nicht einfach verkaufen, um ihn auszuzahlen. Welche anderen Möglichkeiten hat sie, um in absehbarer Zeit an ihr Vermögen zu kommen, oder das Haus wieder selbst zu nutzen? Welche Möglichkeiten hat die Ehefrau, das Haus ggf. räumen zu lassen und wie ist hier der zeitliche Horizont? Muss hierfür die Scheidung bereits rechtskräftig sein?
Ist er ihr gegenüber zu einer Miete verpflichtet (Die Zugewinngemeinschaft wurde mit Zustellung des Antrages auf Scheidung beendet.)? Muss hier ein offizieller Mietvertrag aufgesetzt werden, oder läuft dies im Rahmen einer "stillschweigenden Vereinbarung" erstmal so weiter?
Vielen Dank für die Hilfe.