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