NeuroComb: Improving SAT Solving with Graph Neural Networks