Комментарии — Полиномиальный в среднем алгоритм для SAT/Задачи