On the Hardness of Learning GNN-based SAT Solvers: The Role of Graph Ricci Curvature