CNNSAT: FAST, ACCURATE BOOLEAN SATISFIA-
Graph Neural Networks and Boolean Satisfiability