この資料をSMS送信: Predicting Propositional Satisfiability Based on Graph Attention Networks