SatSolver: solve() and createDimacs() working