#include<bits/stdc++.h>
#define ll long long
#define pb push_back
#define mp make_pair
#define fi first
#define se second
using namespace std;
inline void chkmax(int &a,int b){a=max(a,b);}
inline void chkmin(int &a,int b){a=min(a,b);}
inline int re()
{
    char c=getchar();
    int x=0,f=1;
    while(c<'0'||c>'9'){if(c=='-') f=-1;c=getchar();}
    while(c>='0'&&c<='9'){x=x*10+c-'0';c=getchar();}
    return x*f;
}
const int N=2010;
int n,m;
char s[N];
int nxt[N];
int dpc[N][N];//i,j 最长公共前缀
int dp[N][N];
int main()
{
    freopen("string.in","r",stdin);
    freopen("string.out","w",stdout);
    scanf("%s",s+1);m=strlen(s+1);
    n=re();
    nxt[0]=nxt[1]=0;
    for(int i=2,j=0;i<=n;i++)
    {
        while(j&&s[i]!=s[j+1]) j=nxt[j];
        if(s[i]==s[j+1]) j++;
        nxt[i]=j;
    }
    for(int i=m;i>=1;i--) for(int j=m;j>=1;j--) if(s[i]==s[j]) dpc[i][j]=dpc[i+1][j+1]+1;else dpc[i][j]=0;
    for(int j=1;j<m;j++) dpc[1][j+1]+=dpc[1][j];
    memset(dp,-0x3f,sizeof(dp));
    dp[1][0]=0;
    for(int i=1;i<=n;i++)
    {
        for(int j=0;j<n-i+1&&j<=m;j++) chkmax(dp[i][j+1],dp[i][j]+1);
        chkmax(dp[i+1][0],dp[i][0]);
        for(int j=1;j<=n-i+1&&j<=m;j++)
        {
            int tmp=nxt[j];
            chkmax(dp[i+j-tmp][tmp],dp[i][j]+dpc[1][j-tmp]-dpc[1][1]+tmp);
        }
    }
    printf("%d\n",dp[n+1][0]);
    return 0;
}