#include<iostream>
using namespace std;
int main(){
int ansi,ansD,rgb[16][3],trgb[3];
for(int i=0;i<16;i++){
for(int j=0;j<3;j++){
cin>>rgb[i][j];
}
}
while(true){
for(int i=0;i<3;i++){
cin>>trgb[i];
}
if(trgb[0]==-1){
break;
}
ansD = 255*255*3+1;
for(int i=0;i<16;i++){
int t = (rgb[i][0]-trgb[0])*(rgb[i][0]-trgb[0])+
(rgb[i][1]-trgb[1])*(rgb[i][1]-trgb[1])+
(rgb[i][2]-trgb[2])*(rgb[i][2]-trgb[2]);
if(t<ansD){
ansD = t;
ansi = i;
}
}
printf("(%d,%d,%d) maps to (%d,%d,%d)\n",trgb[0],trgb[1],trgb[2],rgb[ansi][0],rgb[ansi][1],rgb[ansi][2]);
}
return 0;
}