Will the sum of seeds of the teams in the national championship be between 9 and 12? (10% odds) | Kelvon