SAT Winning Strategies