Lancaster SAT Preparation