Enviar por SMS: Learning-Augmented Algorithms for Boolean Satisfiability