Zaslat SMS: Learning-Augmented Algorithms for Boolean Satisfiability