clearState() added to Minisat