#include<stdio.h>
#include<stdlib.h>
#define MAX 20

extern int findmin(int *,int);

int main(int argc, char *argv[])
{
	int val[MAX],count=0;
	char stringa[6];
	FILE *fp;
	if((fp=fopen("prova.txt","r"))==NULL)
	{
		printf("Unable to open file\n");
		return 1;
	}
	while((fgets(stringa,10,fp)!=NULL) && (count<19))
	{
		val[count]=atoi(stringa);
		count++;
	}
	printf("%d",findmin(val,count--));
}