4 ms·the sum of the weights of the unsatistied clauses. we want to reduce this numberby chaisan 6mo agothe sum of the weights of the unsatistied clauses. we want to reduce this number