#include <stdio.h>
#include <string.h>
#include <algorithm>
using namespace std;
int main() {
long long n;
int m, d, cases = 0;
while (scanf("%lld %d", &n, &m) == 2) {
char buf[32];
sprintf(buf, "%lld", n);
d = strlen(buf);
long long low = -(1LL<<59), upp = 1LL<<59;
for (int i = (1<<10) - 1; i > 0; i--) {
if (__builtin_popcount(i) <= m) {
int t = 0, pos;
long long A[10];
long long dp[32][3] = {}, pre = 0; // < = >
for (int j = 0; j < 10; j++)
if ((i>>j)&1) A[t++] = j;
for (int j = 0; j < d; j++)
dp[j][0] = dp[j][1] = -(1LL<<59), dp[j][2] = 1LL<<59;
for (int j = 0; j < d; j++) {
pre = pre * 10 + buf[j] - '0';
if (j == 0) {
dp[0][0] = 0;
for (int k = 0; k < t; k++) {
if (A[k] < pre) dp[j][0] = max(dp[j][0], A[k]);
else if (A[k] == pre) dp[j][1] = max(dp[j][1], A[k]);
else if (A[k] > pre) dp[j][2] = min(dp[j][2], A[k]);
}
} else {
for (int k = 0; k < t; k++) {
dp[j][0] = max(dp[j][0], dp[j-1][0] * 10 + A[k]);
dp[j][2] = min(dp[j][2], dp[j-1][2] * 10 + A[k]);
if (dp[j-1][1] * 10 + A[k] < pre)
dp[j][0] = max(dp[j][0], dp[j-1][1] * 10 + A[k]);
else if (dp[j-1][1] * 10 + A[k] == pre)
dp[j][1] = max(dp[j][1], dp[j-1][1] * 10 + A[k]);
else if (dp[j-1][1] * 10 + A[k] > pre)
dp[j][2] = min(dp[j][2], dp[j-1][1] * 10 + A[k]);
}
}
// printf("%lld %lld %lld\n", dp[j][0], dp[j][1], dp[j][2]);
low = max(low, max(dp[j][0], dp[j][1]));
if (dp[j][2] > n) upp = min(upp, dp[j][2]);
}
}
}
printf("Case %d: ", ++cases);
if (llabs(low - n) == llabs(upp - n) && low != upp)
printf("%lld %lld\n", low, upp);
else
printf("%lld\n", llabs(low - n) < llabs(upp - n) ? low : upp);
}
return 0;
}
/*
3355798521 10
262004 2
8000 1
1000 1
2243 2
88449 2
123456789 1
7099 2
*/
I2luY2x1ZGUgPHN0ZGlvLmg+IAojaW5jbHVkZSA8c3RyaW5nLmg+CiNpbmNsdWRlIDxhbGdvcml0aG0+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CgppbnQgbWFpbigpIHsKCWxvbmcgbG9uZyBuOwoJaW50IG0sIGQsIGNhc2VzID0gMDsKCXdoaWxlIChzY2FuZigiJWxsZCAlZCIsICZuLCAmbSkgPT0gMikgewoJCWNoYXIgYnVmWzMyXTsKCQlzcHJpbnRmKGJ1ZiwgIiVsbGQiLCBuKTsKCQlkID0gc3RybGVuKGJ1Zik7CgkJbG9uZyBsb25nIGxvdyA9IC0oMUxMPDw1OSksIHVwcCA9IDFMTDw8NTk7CgkJZm9yIChpbnQgaSA9ICgxPDwxMCkgLSAxOyBpID4gMDsgaS0tKSB7CgkJCWlmIChfX2J1aWx0aW5fcG9wY291bnQoaSkgPD0gbSkgewoJCQkJaW50IHQgPSAwLCBwb3M7CgkJCQlsb25nIGxvbmcgQVsxMF07CgkJCQlsb25nIGxvbmcgZHBbMzJdWzNdID0ge30sIHByZSA9IDA7IC8vIDwgPSA+CgkJCQkKCQkJCWZvciAoaW50IGogPSAwOyBqIDwgMTA7IGorKykKCQkJCQlpZiAoKGk+PmopJjEpCUFbdCsrXSA9IGo7CgkJCQlmb3IgKGludCBqID0gMDsgaiA8IGQ7IGorKykKCQkJCQlkcFtqXVswXSA9IGRwW2pdWzFdID0gLSgxTEw8PDU5KSwgZHBbal1bMl0gPSAxTEw8PDU5OwoJCQkJZm9yIChpbnQgaiA9IDA7IGogPCBkOyBqKyspIHsKCQkJCQlwcmUgPSBwcmUgKiAxMCArIGJ1ZltqXSAtICcwJzsKCQkJCQlpZiAoaiA9PSAwKSB7CgkJCQkJCWRwWzBdWzBdID0gMDsKCQkJCQkJZm9yIChpbnQgayA9IDA7IGsgPCB0OyBrKyspIHsKCQkJCQkJCWlmIChBW2tdIDwgcHJlKQkJCWRwW2pdWzBdID0gbWF4KGRwW2pdWzBdLCBBW2tdKTsKCQkJCQkJCWVsc2UgaWYgKEFba10gPT0gcHJlKQlkcFtqXVsxXSA9IG1heChkcFtqXVsxXSwgQVtrXSk7CgkJCQkJCQllbHNlIGlmIChBW2tdID4gcHJlKQlkcFtqXVsyXSA9IG1pbihkcFtqXVsyXSwgQVtrXSk7CgkJCQkJCX0KCQkJCQl9IGVsc2UgewoJCQkJCQlmb3IgKGludCBrID0gMDsgayA8IHQ7IGsrKykgewoJCQkJCQkJZHBbal1bMF0gPSBtYXgoZHBbal1bMF0sIGRwW2otMV1bMF0gKiAxMCArIEFba10pOwoJCQkJCQkJZHBbal1bMl0gPSBtaW4oZHBbal1bMl0sIGRwW2otMV1bMl0gKiAxMCArIEFba10pOwoJCQkJCQkJaWYgKGRwW2otMV1bMV0gKiAxMCArIEFba10gPCBwcmUpCgkJCQkJCQkJZHBbal1bMF0gPSBtYXgoZHBbal1bMF0sIGRwW2otMV1bMV0gKiAxMCArIEFba10pOwoJCQkJCQkJZWxzZSBpZiAoZHBbai0xXVsxXSAqIDEwICsgQVtrXSA9PSBwcmUpCgkJCQkJCQkJZHBbal1bMV0gPSBtYXgoZHBbal1bMV0sIGRwW2otMV1bMV0gKiAxMCArIEFba10pOwoJCQkJCQkJZWxzZSBpZiAoZHBbai0xXVsxXSAqIDEwICsgQVtrXSA+IHByZSkKCQkJCQkJCQlkcFtqXVsyXSA9IG1pbihkcFtqXVsyXSwgZHBbai0xXVsxXSAqIDEwICsgQVtrXSk7CgkJCQkJCX0KCQkJCQl9Ci8vCQkJCQlwcmludGYoIiVsbGQgJWxsZCAlbGxkXG4iLCBkcFtqXVswXSwgZHBbal1bMV0sIGRwW2pdWzJdKTsKCQkJCQlsb3cgPSBtYXgobG93LCBtYXgoZHBbal1bMF0sIGRwW2pdWzFdKSk7CgkJCQkJaWYgKGRwW2pdWzJdID4gbikJdXBwID0gbWluKHVwcCwgZHBbal1bMl0pOwoJCQkJfQoJCQl9CgkJfQoJCXByaW50ZigiQ2FzZSAlZDogIiwgKytjYXNlcyk7CgkJaWYgKGxsYWJzKGxvdyAtIG4pID09IGxsYWJzKHVwcCAtIG4pICYmIGxvdyAhPSB1cHApCgkJCXByaW50ZigiJWxsZCAlbGxkXG4iLCBsb3csIHVwcCk7CgkJZWxzZQoJCQlwcmludGYoIiVsbGRcbiIsIGxsYWJzKGxvdyAtIG4pIDwgbGxhYnModXBwIC0gbikgPyBsb3cgOiB1cHApOwoJfQoJcmV0dXJuIDA7Cn0KLyoKMzM1NTc5ODUyMSAxMAoyNjIwMDQgMgo4MDAwIDEKMTAwMCAxCjIyNDMgMgo4ODQ0OSAyCjEyMzQ1Njc4OSAxCjcwOTkgMgoqLw==