Полиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-average-expect-max-nk