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