* saveState() in minisat