min_sat can't handle iterables any more

Handle empty clauses to min_sat