How to get faster at SAT?