시간 제한 메모리 제한 제출 정답 맞은 사람 정답 비율
1 초 32 MB 3 2 2 100.000%

문제

Our heroes, Mirko and Slavko, plant Christmas wheat every year on Saint Lucy’s Day. It is well known that stalks of wheat grow at different speeds so, after a certain time, the wheat becomes quite messy. The guys are determined to solve this problem by playing the following game:

  • When it’s Mirko’s turn, he chooses a stalk of wheat with the minimal height and prolongs its height so it’s of the same height as the first stalk longer than it.
  • When it’s Slavko’s turn, he chooses a stalk of wheat with the maximal height and cuts it to be of the same height as the first stalk shorter than it.
  • The game lasts while there are at least three stalks of different heights and the loser is the player who can’t make his move.

For given heights of all stalks of wheat and the assumption that Mirko is the one starting the game, determine the winner of the game and the height of the shortest and longest stalk when the game is finished.

입력

The first line of input contains the integer N (1 ≤ N ≤ 105), the number of wheat stalks. The second line of input contains N space separated integers that denote the heights of individual wheat stalks. The height of each stalk will be less than or equal to 105.

출력

The first line of output must contain the word “Mirko” if Mirko is the winner of the game, or “Slavko” if Slavko is the winner of the game.

The second line of output must contain the height of the shortest and longest stalk when the game is finished.

예제 입력

3
3 3 3

예제 출력

Slavko
3 3

예제 입력 2

4
3 1 2 1

예제 출력 2

Slavko
1 2

예제 입력 3

7
2 1 3 3 5 4 1

예제 출력 3

Slavko
2 3

힌트

Clarification of the first example: Mirko can’t make his move because there are no three stalks of different heights. Therefore, Slavko is the winner.