Mario has room for 15 more minutes of songs on his iPod. He is going to upload three songs that are 5.15, 4.4, and 4.8 minutes long. About how many minutes will he have room for after he uploads these three songs?