Understanding GNNs for Boolean Satisfiability through Approximation Algorithms