the sum of the weights of the unsatistied clauses. we want to reduce this number