#include <stdio.h>
#include <string.h>
#include <stdlib.h>

int nw,w;
int L[20000];
int BB[20000],*B;

void Rataj(int z) {
  int u,i,p1,p2,l1,l2,p;

  B[z]=500+B[z-1];
  u=L[z];
  for (i=z-1; i>=0; i--) {
    u+=L[i];  
    if (u+z-i>w) break;
    l1=(w-u)/(z-i); l2=l1+1;
    p2=(w-u)%(z-i);
    p1=(z-i)-p2;
    p=p1*(l1-1)*(l1-1)+p2*(l2-1)*(l2-1) + B[i-1];
    if (p<B[z]) B[z]=p;
  }
}

int main() {
  int i;
  unsigned char s[10000];
  unsigned char *q;
  
  while (1) {
    fgets(s,2000,stdin);
    sscanf(s,"%d",&w);
    if (w==0) break;
    nw=0;
    memset(L,0,sizeof(L));
    while(1) {
      fgets(s,2000,stdin);
      if (strcmp(s,"\n")==0) break;
      q=s;
      while(1) {
        while(q[0] && (q[0]<33 || q[0]>126)) q++;
        if (q[0]==0) break;
        while (q[0]>=33 && q[0]<=126) {
          L[nw]++;
          q++;
        }
        nw++;
      }
    }
    BB[0]=0;
    B=BB+1;
    for (i=0;i<nw;i++) Rataj(i);
    printf("Minimal badness is %d.\n",B[nw-1]);
  }
  return 0;

}