SAT testing strategies