Techniques for Symbol Grounding with SATNet Sever Topan