#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);
}