MILP-SAT-GNN: Yet Another Neural SAT Solver