Участник:Павел Дидин/задача о модификации 3-КНФ/решение