Какие входные данные для алгоритма «alg-sat-dynp» заставят его работать экспоненциально долго?