#include<bits/stdc++.h>
using namespace std;
int num[100], a, b, c,r=0;
int tem;
int flag1, flag2, flag3,flag=0;


int main() {
	cin >> a >> b >> c;
	for (int i = 1; i <= 9; i++) {
		for (int j = 1; j <= 9; j++) {
			for (int k = 1; k <= 9; k++) {
				if ((i != j) && (j != k) && (k != i)) {
					num[r++] = 100 * i + 10 * j + k;
					
				}
			}
		}
	}

	for (int i = 0; i < r; i++) {
		for (int j = 0; j < r; j++) {
			for (int k = 0; k < r; k++) {
				flag1 = num[i] /a;
				flag2 = num[j] / b;
				flag3 = num[k] /c;
				if ((flag1 == flag2) &&(flag2== flag3)) {
					cout << flag1 << " " << flag2 << " " << flag3 << endl;
					flag = 1;
				}
			}
		}
	}
	if (flag == 0) {
		cout << "No!!!";
	}
	return 0;
}