// seasons.cpp
#include <stdio.h>

int tab[15][4] =
{2, 1, 3, -2,
 1, 3, 1, -1,
 2, -2, -1, 3,
 0, 3, 1, 0,
 1, 0, 0, 3,
 2, 0, 3, 0,
 0, 1, 3, 0,
 3, 2, 1, 0,
 2, 1, 1, 3,
 3, -2, 3, -1,
 2, 0, 3, 1,
 3, 1, 3, 1,
 1, 3, 1, 0,
 3, 2, 3, 2,
 3, 2, 3, 1};

const char * names[4] = {"spring", "summer", "fall", "winter"};
int prefs[15] = {0};
int scores[4] = {0};
int winner[4] = {0};

int main()
{
	int dataSets = 0;
	scanf("%d", &dataSets);

	for (int i = 0; i < dataSets; i++)
	{
		for (int j = 0; j < 15; j++)
		{
			scanf("%d", &prefs[j]);
		}

		//for (j = 0; j < 15; j++)
		//	printf("%d ", prefs[j]);
		//printf("\n");

		int max = -999999999;

		for (int season = 0; season < 4; season++)
		{
			scores[season] = 0;
			for (j = 0; j < 15; j++)
			{
				scores[season] += prefs[j] * tab[j][season];
			}

			if (scores[season] > max) max = scores[season];
			//printf("Season %d: %d\n", season, scores[season]);
		}

		printf("Data Set %d: ", i + 1);
		if (max <= 0)
			printf("Don't come to Ithaca!\n");
		else
		{
			printf("Come to Ithaca in ");

			bool isFirst = true;
			for (season = 0; season < 4; season++)
			{
				if (scores[season] == max)
				{
					if (isFirst)
					{
						printf("%s", names[season]);
						isFirst = false;
					}
					else
					{
						printf(" or %s", names[season]);
					}
				}
			}

			printf("!\n");
		}
		
		
	}

	return 0;
}