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