what is the record in the atlantic coast conference for the miami team?
11–13