Minor sat solver teweaks
More SAT linkage fixes
More work on the SAT parser
More sat solver tweaks; it no longer crashes