унитарная выполнимость

Мат. unitary satisfiability