How to split file?

Help with Audacity 3.7. I have a flac file with 9 songs. I know how long each song is. How do I split this flac file in 9 songs with the knowledge of how log each song is?

Put a text label at the beginning of each new song and then select “export multiple”.

See here.

Thank you very much for your tip. I have done this before. I wonder if you can use the respective song timestamps to make Audacity do these labels automatically?