On the Expressive Power of GNNs for Boolean Satisfiability | Signal Canvas | ScienceToStartup