SAT Tricks