#include<bits/stdc++.h>
using namespace std;
signed long long int ans[11];
int main(){
	long double x,y,z;
	cin>>x>>y>>z;
	signed long long int r=0;
	signed long long int num=0;
	for(signed long long int a=123;a<=1000;a++){
		long double G=y/x;
		signed long long int b=a*G;
		signed long long int a1=a/100;
		signed long long int a2=a/10%10;
		signed long long int a3=a%10;
		signed long long int b1=b/100;
		signed long long int b2=b/10%10;
		signed long long int b3=b%10;
		ans[a1]++; ans[a2]++; ans[a3]++;
		ans[b1]++; ans[b2]++; ans[b3]++;
		signed long long int flag=0;
		for(int i=0;i<=9;i++){
			if(ans[i]>1){
				flag++;
				break;
			}
		}
		if(flag==0&&b<=999){
			long double GG=z/y;
			signed long long int c=b*GG;
			signed long long int c1=c/100;
			signed long long int c2=c/10%10;
			signed long long int c3=c%10;
			ans[c1]++; ans[c2]++; ans[c3]++;
			flag=0;
			for(int i=1;i<=9;i++){
				if(ans[i]>1){
					flag++;
					break;
				}
			}
			if(flag==0&&c<=999){
				if(a1!=0&&a2!=0&&a3!=0&&b1!=0&&b2!=0&&b3!=0&&c1!=0&&c2!=0&&c3!=0){
					cout<<a<<' '<<b<<' '<<c<<endl;
					num++; 
				}
			}else if(c>999){
				r=1;
			}
		}
		for(signed long long int i=0;i<=9;i++){
			ans[i]=0;
		}
		if(r==1){
			break;
		}
	}
	if(num==0){
		cout<<"No!!!";
	}
	return 0;
}