MAX-SAT: дерандомизация/Задачи/2-приближенный алгоритм для максимальной совместной подсистемы/Решение Мотренко