Predicting Propositional Satisfiability Based on Graph Attention Networks