SMS versenden: Learning-Augmented Algorithms for Boolean Satisfiability