MAX-SAT: дерандомизация/Задачи/ex-derand-maxsat-f0-f1