Комментарии — MAX-SAT: вероятностное округление/Задачи/eupce-6-1-a