MAX-SAT: дерандомизация/Задачи/eupce-6-15