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