Обсуждение:MAX-SAT: вероятностное округление/Задачи/MAX-3ESAT/c000087