この資料をSMS送信: Learning-Augmented Algorithms for Boolean Satisfiability