7b. Randomized Rounding for Max Sat.pdf