29670번 - Цифровой дисплей 다국어

문제

Умный мальчик Вася --- начинающий математик. Сегодня у него день рождения: собралось много гостей, все дарят ему подарки --- все как обычно. Но его лучший друг Вовочка сделал ему необычный подарок: он подарил ему устройство, на котором был цифровой дисплей. Он отображает $N$-значное число $X,ドル с помощью $N$ индикаторов из семи полосок.

Это устройство очень напоминает электронные часы, только оно показывает время не в обычном формате, а в секундах от какого-то очень важного момента. Это было так давно, что Вовочка и не помнит, какое важное событие произошло, когда он впервые включил свое изобретение.

Он рассказал Васе, что по этим часам можно узнать, когда в следующий раз произойдет какое-нибудь важное событие. Для этого надо взять число, которое сейчас на дисплее и переставив в нем не более чем $K$ палочек получить минимальное число, больше данного. При этом разрешается перемещать палочки из одной цифры в другую. Вовочка уже давно планировал подарить это замечательное изобретение своему лучшему другу, поэтому он расчитал тот момент, когда он будет рассказывать это Васе.

Так как Вася не так хорош в математике как Вовочка, он просит вас написать программу, которая даст ответ на его вопрос.

입력

Первая строка входного файла содержит целое число $K$ (1ドル \le K \le 100$). Вторая строка содержит число $X$ (0ドル \le X < 10^{100000}$).

출력

В выходной файл выведите одно число: ответ на задачу, либо <<NO SOLUTION>>, если ответа не существует.

제한

힌트