Title: New SAT Strategies for A 1600