The New SAT strategies