#include <stdio.h>
#include <string.h>
int main ()
{
char str[50][51]={' '};
int i=0,j=0;
int max_multiply=0;
for(i=1,j=0;i<51;i++)
{
char a=getchar();
if(a==',')
{j++;i=0;}
else if(!(a>=97&&a<=122))
break;
else
str[j][i-1]=a;
}
int num=j;
for(i=0;i<num-1;i++)
{
for(j=i+1;j<num;j++)
{
int bit1[26]={0},bit2[26]={0};
for(int k=0;k<50;k++)
{
if(str[i][k]!=' ')
bit1[str[i][k]-'a']=1;
if(str[j][k]!=' ')
bit2[str[j][k]-'a']=1;
}
int legal=0;
for(int k=0;k<26;k++)
{
if(bit1[k]*bit2[k]==0)
legal++;
}
if(legal==26)
{
int l1=strlen(str[i]);
int l2=strlen(str[j]);
int multiply=l1*l2;
if(multiply>max_multiply)
max_multiply=multiply;
}
}
}
printf("%d",max_multiply);
}