multi(Root) :-
   Vars = [X1,X2,X3,X4,X5,Y1,Y2,Y3,Y4,Y5,Y6,Y7,Y8,Z1,Z2,Z3,Z4,Z5],
   Vars ins 2 \/ 3 \/ 5 \/ 7,
   Root = sol(x1:X1,x2:X2,x3:X3,x4:X4,x5:X5,y1:Y1,y2:Y2,y3:Y3,y4:Y4,y5:Y5,y6:Y6,y7:Y7,y8:Y8,z1:Z1,z2:Z2,z3:Z3,z4:Z4,z5:Z5),
   X1 * 100 * X5 + X2 * 10 * X5 + X3 * X5 #= 1000*Y1+100*Y2+10*Y3+Y4,
   X1 * 1000 * X4 + X2 * 100 * X4 + X3 * X4 *10 #= 10000*Y5+1000*Y6+100*Y7+Y8*10,
   1000*Y1+100*Y2+10*Y3+Y4+1000*Y5+100*Y6+10*Y7+Y8#=10000*Z1+1000*Z2+100*Z3+10*Z4+Z5,
   labeling([leftmost],Vars)