#include<stdio.h>
int main()
{
    int i,copy=9,n;
    scanf(" %d,%d,%d,%d,%d,%d,%d,%d,%d" ,&n)
    for(i=0,i>=n,i++);
    {
    copy=n;
    copy= i*n;
    }
    if(n<0 || n>9)
    {
        printf("%d %d %d %d %d %d %d %d %d" ,n)
    }
    else
    {
        printf("No solution")
    }
    getch();
}