adaptive SAT