The 25,000 SAT Hat (HAT)