MAX-SAT: вероятностное округление/Задачи