added support for dumping the SAT problem the sat solver is working on