To start with, work out how many minutes you have left on the disk. 70-25= 45
Then, as you know each song is about 4 minutes long, divide 45 by 4 = 11.25
Obviously, you don't want a quarter of a song, so round it down to the whole number = 11 additional songs left to download.
Hope this helps! :)