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