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