#include <stdio.h>
#include <stdbool.h>
#include <limits.h>

#define BUF_SIZE 30

int main(void)
{
    int min = INT_MAX;
    while (true) {
        char buffer[BUF_SIZE];
        char ch;
        scanf("%c", &ch);
        if (ch == '\n') {
            break;
        }
        else {
            buffer[0] = ch;
            int i = 1;
            while (scanf("%c", &ch) && ch != '\n') {
                buffer[i] = ch;
                ++i;
            }
            buffer[i] = '\0';
        }
        int x;
        sscanf(buffer, "%d", &x);
        if (x < min) {
            min = x;
        }
    }
    if (min != INT_MAX) {
        printf("min = %d\n", min);
    }
    else {
        printf("nothing\n");
    }
}