Correction: don't delete assignments if found sat.