Correctly chain clauses together
Make min_sat with alg!='iterate' do the right thing for unsatisfiable clauses
Fix min_sat
Correctly handle alternate min_sat algorithms in resolve