>>604
/* EOF (Ctrl+D or Ctrl+Z) で入力終了 */
#include <stdio.h>
#include <limits.h>

int main(void){
int min1=INT_MAX, min2=INT_MAX, num;

while(scanf("%d", &num)==1){
if(num<min2)
min2=num;
if(min1>min2)
{
num=min1;
min1=min2;
min2=num;
}
}
printf("\nmin1=%d\tmin2=%d\n", min1, min2);

return 0;
}