Also formatiert sollte die jeweilge Partition auf jeden Fall werden, Entweder du machst ein bisschen Platz und erstellst eine neue Partition, oder du räumst eine leer und packst es da drauf. Ich würde ersteres machen.
Wenn du nicht vor hast ewig viele Programme darauf zu machen reicht eine Größe von 6-7 GB.