#include <stdio.h>

int main(void){

	int i,N;

	while(1){
		printf("Input N:");
		scanf("%d",&N);

		if(N==0) break;
	
		if(3<=N && N<=5) printf("Spring \n");
		else if(6<=N && N<=8) printf("Summer \n");
		else if(9<=N && N<=11) printf("Autumn \n");
		else if(N==12 || N==1 || N==2) printf("Winter \n");
		else continue;

	}

	return 0;
}