Miami box score at halftime.