#include<stdio.h>
int main()
{
    int t,i,j,k;
    double n,max,sum,low;
    char ch[15];
    double a[7];
    scanf("%d",&t);
    for(int i=1; i<=t; i++)
    {
        sum=0.0;
        max=-1.0,low=11.0;
        scanf("%s",&ch);
        scanf("%lf",&n);
        for(j=0; j<7; j++)
        {
            scanf("%lf",&a[j]);
            sum=sum+a[j];
            if(max<=a[j])
            {
                max=a[j];
            }
            else if(low>=a[j])
            {
                low=a[j];
            }
        }
        sum-=max;
        sum-=low;
        sum*=n;
        printf("%s %.2lf\n",ch,sum);
    }
    return 0;
}