#include <stdio.h>
int main(int argc, char *argv[])
{
int number = 0;
int max = -1;
int min = -1;
while(scanf("%d", &number) != EOF) {
if (max == -1 || number > max) {
max = number;
}
if (min == -1 || number < min) {
min = number;
}
number = 0;
}
printf("Max: %d\nMin: %d\n", max, min);
}