#include<stdio.h>
int main()
{
  int i,j,k,a[10]={0},x,y,z,t=0;
  scanf("%d%d%d",&x,&y,&z);
  for(i=1;i<987;i++)
  {
      if(x*i<=987) 
      {
         a[x*i%10]++;
        a[x*i/10%10]++;
          a[x*i/100]++;
      }
    if(y*i<=987)
    {
     a[y*i%10]++;
       a[y*i/10%10]++;
       a[y*i/100]++;
    }
   if(z*i<=987)
   {
        a[z*i%10]++;
       a[z*i/10%10]++;
       a[z*i/100]++;
   }
      for(j=1;j<=9;j++)
       if(a[j]==0)
         break;
      if(j>=10)
       {
           printf("%d %d %d\n",x*i,y*i,z*i);
           t=1;
       }
      for(j=1;j<=9;j++)
        a[j]=0;
   } 
if(t==0)printf("No!!!");
 return 0;
}

#include<bits/stdc++.h>

using namespace std;

int A, B, C;

int x, y, z;

int arr[10]={0};

int flag=0;

int sum=0;

int main(){

scanf("%d %d %d", &A, &B, &C);

int i;

for(i=1; i<1000/3; i++){

	x=i*A;

	y=i*B;

	z=i*C;

	int j;

	for(j=1; j<=3; j++){

		arr[x%10]++;
  
		x/=10;
  
	}

	for(j=1; j<=3; j++){

		arr[y%10]++;
  
		y/=10;
  
	}

	for(j=1; j<=3; j++){

		arr[z%10]++;
  
		z/=10;
  
	}

	for(j=1; j<=9; j++){

		if(arr[j] != 1) {
  
			flag=1;
    
			break;
    
		}
  
	}

	for(j=1; j<=9; j++){

		arr[j]=0;
  
	}

	if(flag == 0){

		printf("%d %d %d\n", i*A, i*B, i*C);
  
		sum++;
  
	}

	flag=0;

}

if(sum == 0){

	printf("%s","No!!!");

}

return 0;

}