// Arup Guha
// 10/15/2013
// Solution to COP 3223 Program #7A: Chalice (file in, standard out)

#include <stdio.h>

int main() {

    // Open file.
    FILE* ifp = fopen("chalice.in", "r");
    int numCases, loop;
    fscanf(ifp, "%d", &numCases);

    // Go through each case.
    for (loop=1; loop<=numCases; loop++) {

        int maxWeight, numGeese, sumGeese = 0, i;
        fscanf(ifp, "%d%d", &maxWeight, &numGeese);

        // Add up each goose's weight.
        for (i=0; i<numGeese; i++) {
            int weight;
            fscanf(ifp, "%d", &weight);
            sumGeese += weight;
        }

        // Print the result of this case.
        if (maxWeight <= sumGeese)
            printf("Trial #%d: SHE'S A WITCH! BURN HER!\n", loop);
        else
            printf("Trial #%d: She's not a witch. BURN HER ANYWAY!\n", loop);
    }

    fclose(ifp);
    return 0;
}