Number of SAT Tests