Over/Under SEC teams in Final Four - 3.5?