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