Полиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-dynp-good-data