New SAT Strategies for a 1600