#include<bits/stdc++.h>
using namespace std;
int n[15],check;
void tc(int x){
n[x/100]=1;
n[x/10%10]=1;
n[x%10]=1;
}
int main()
{
int a,b,c;
int m=0;
scanf("%d%d%d",&a,&b,&c);
for(int i=100;i<=999;i++){
memset(n,0,sizeof(n));
check=1;
tc(i*a);tc(i*b);tc(i*c);
for(int i=1;i<=9;i++) if(n[i]!=1) {check=0;break;}
if(!check) continue;
printf("%d %d %d\n",i*a,i*b,i*c);
m=1;
}
if(!m) printf("No!!!");
return 0;
}