Just did 3.2 miles (5k) on the weekend in 21 mins - so if I had to do 1.2 less I could probably shave a bit off and do it in 12-13. My normal pace per mile for 5k is about 7 minutes.
Last time I did a mile on a track I did it in 6 minutes but that was all out and I was trying to pace 90s per 400.