#include <stdio.h>
#include <math.h>
int main()
{
long x,y;
long maxx,maxy,minx,miny,count=0;
while(1){
scanf("%d %d",&x,&y);
if (x==0&&y==0)
break;
maxx=minx=x;
maxy=miny=y;
while(!(x==0&&y==0)){
scanf("%d %d",&x,&y);
if(x==0&&y==0)
break;
if(x<minx)
minx=x;
else if (x>maxx)
maxx=x;
if(y<miny)
miny=y;
else if(y>maxy)
maxy=y;
}
printf("%d %d %d %d/n",minx,miny,maxx,maxy);
}
}