#include<stdio.h>
int main()
{
    int n,i,x,s1=0,s2=0,m[100],j;
    scanf("%d",&n);
    {
        for(i=0; i<n; i++)
        {
            s1=0,s2=0;
            scanf("%d",&x);
            {
                for(j=0; j<x; j++)
                    scanf("%d",&m[j]);{
                if(m[j]=1){
                    s1=s1+m[j];}
                    if(s1<= 9)
                        {printf("All hail to princess mAina\n %d",s1);}
                    else
                        printf(":'(\n");
                }
                    }
            }
        }


    return 0;
}