Start with your normal max daily usage... no point having a 6kWh battery if you only use 2kWh or 20kWh... it'd answer your question about the 9.2kWh as well.
Old advice was to size for normal max usage minus lower usage.... but now I'd aim so for most days in winter (high use) the battery can carry you through the day.... but without paying for exceptional one off days (eg. Xmas) that only occur once a year. And then export all your solar.
Allow for the Max Depth of Discharge of the battery, ie if it's 80% then a 10kWh battery is actually 8kWh.
Next check the battery max import date, can you charge it in your cheap off peak period? 20kWh at 2.6kW max can't fully charge in 6 hours IO off peak.
As you can make a good return on selling solar at the moment, you should get as much as you can. Even without that, again get as much as you can.