* work with new minisat