SAT-preparation strategy