#include<bits/stdc++.h>
using namespace std;
int w[105], p[105], dp1[105][505], dp2[105][505], n, C;
string s;
void init(){
for(int i=0; i<105; i++){
for(int j=0; j<505; j++){
dp1[i][j] = -1;
dp2[i][j] = -1;
}
}
}
int knapsack(int i, int j){
if(i<0 || j<=0) return 0;
if(dp1[i][j]!=-1) return dp1[i][j];
int nT = knapsack(i-1, j);
int T = -1;
if(w[i]<=j) T = p[i] + knapsack(i-1, j-w[i]);
return dp1[i][j] = max(nT, T);
}
int totalWeight(int i, int j, string x = ""){
if(i<0 || j<=0) return 0;
if(dp2[i][j]!=-1) return dp2[i][j];
int nT = knapsack(i-1, j);
int T = -1;
if(w[i]<=j) T = p[i] + knapsack(i-1, j-w[i]);
if(nT > T) return dp2[i][j] = totalWeight(i-1, j);
if(T > nT) return dp2[i][j] = w[i] + totalWeight(i-1, j-w[i]);
return dp2[i][j] = min(totalWeight(i-1, j), w[i] + totalWeight(i-1, j-w[i]));
}
void minC(int i, int j, string x=""){
if(i<0 || j<=0){
cout<<x<<endl;
return;
}
int nT = totalWeight(i-1, j);
int T = -1;
if(w[i]<=j) T = w[i] + totalWeight(i-1, j-w[i]);
if(nT > T) minC(i-1, j, x);
else minC(i-1, j-w[i], (char)s[i]+x);
}
int main(){
cin>>s;
cin>>C;
n = s.size();
for(int i=0; i<n; i++){
w[i] = 50 + ((int)s[i])%10;
p[i] = 5 + ((int)s[i])%5;
}
init();
int v1 = knapsack(n-1, C);
int v2 = totalWeight(n-1, C);
minC(n-1, C);
cout<<"Total weight: "<<v2<<", Total height: "<<v1;
}
/*
ihateyou
330: (321, 41)
276: (270, 35)
225: (219, 29)
212: (207, 27)
*/
I2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmludCB3WzEwNV0sIHBbMTA1XSwgZHAxWzEwNV1bNTA1XSwgZHAyWzEwNV1bNTA1XSwgbiwgQzsKc3RyaW5nIHM7Cgp2b2lkIGluaXQoKXsKICAgIGZvcihpbnQgaT0wOyBpPDEwNTsgaSsrKXsKICAgICAgICBmb3IoaW50IGo9MDsgajw1MDU7IGorKyl7CiAgICAgICAgICAgIGRwMVtpXVtqXSA9IC0xOwogICAgICAgICAgICBkcDJbaV1bal0gPSAtMTsKICAgICAgICB9CiAgICB9Cn0KCmludCBrbmFwc2FjayhpbnQgaSwgaW50IGopewogICAgaWYoaTwwIHx8IGo8PTApICByZXR1cm4gMDsKICAgIGlmKGRwMVtpXVtqXSE9LTEpICAgIHJldHVybiBkcDFbaV1bal07CiAgICBpbnQgblQgPSBrbmFwc2FjayhpLTEsIGopOwogICAgaW50IFQgPSAtMTsKICAgIGlmKHdbaV08PWopIFQgPSBwW2ldICsga25hcHNhY2soaS0xLCBqLXdbaV0pOwogICAgcmV0dXJuIGRwMVtpXVtqXSA9IG1heChuVCwgVCk7Cn0KCmludCB0b3RhbFdlaWdodChpbnQgaSwgaW50IGosIHN0cmluZyB4ID0gIiIpewogICAgaWYoaTwwIHx8IGo8PTApICByZXR1cm4gMDsKICAgIGlmKGRwMltpXVtqXSE9LTEpICAgIHJldHVybiBkcDJbaV1bal07CiAgICBpbnQgblQgPSBrbmFwc2FjayhpLTEsIGopOwogICAgaW50IFQgPSAtMTsKICAgIGlmKHdbaV08PWopIFQgPSBwW2ldICsga25hcHNhY2soaS0xLCBqLXdbaV0pOwogICAgaWYoblQgPiBUKSAgcmV0dXJuIGRwMltpXVtqXSA9IHRvdGFsV2VpZ2h0KGktMSwgaik7CiAgICBpZihUID4gblQpICByZXR1cm4gZHAyW2ldW2pdID0gd1tpXSArIHRvdGFsV2VpZ2h0KGktMSwgai13W2ldKTsKICAgIHJldHVybiBkcDJbaV1bal0gPSBtaW4odG90YWxXZWlnaHQoaS0xLCBqKSwgd1tpXSArIHRvdGFsV2VpZ2h0KGktMSwgai13W2ldKSk7Cn0KCgp2b2lkIG1pbkMoaW50IGksIGludCBqLCBzdHJpbmcgeD0iIil7CiAgICBpZihpPDAgfHwgajw9MCl7CiAgICAgICAgY291dDw8eDw8ZW5kbDsKICAgICAgICByZXR1cm47CiAgICB9CiAgICBpbnQgblQgPSB0b3RhbFdlaWdodChpLTEsIGopOwogICAgaW50IFQgPSAtMTsKICAgIGlmKHdbaV08PWopIFQgPSB3W2ldICsgdG90YWxXZWlnaHQoaS0xLCBqLXdbaV0pOwogICAgaWYoblQgPiBUKSAgbWluQyhpLTEsIGosIHgpOwogICAgZWxzZSAgICBtaW5DKGktMSwgai13W2ldLCAoY2hhcilzW2ldK3gpOwp9CgppbnQgbWFpbigpewogICAgY2luPj5zOwogICAgY2luPj5DOwogICAgbiA9IHMuc2l6ZSgpOwogICAgZm9yKGludCBpPTA7IGk8bjsgaSsrKXsKICAgICAgICB3W2ldID0gNTAgKyAoKGludClzW2ldKSUxMDsKICAgICAgICBwW2ldID0gNSArICgoaW50KXNbaV0pJTU7CiAgICB9CiAgICBpbml0KCk7CiAgICBpbnQgdjEgPSBrbmFwc2FjayhuLTEsIEMpOwogICAgaW50IHYyID0gdG90YWxXZWlnaHQobi0xLCBDKTsKICAgIG1pbkMobi0xLCBDKTsKICAgIGNvdXQ8PCJUb3RhbCB3ZWlnaHQ6ICI8PHYyPDwiLCBUb3RhbCBoZWlnaHQ6ICI8PHYxOwoKfQovKgppaGF0ZXlvdQozMzA6ICgzMjEsIDQxKQoyNzY6ICgyNzAsIDM1KQoyMjU6ICgyMTksIDI5KQoyMTI6ICgyMDcsIDI3KQoqLwoKCg==