C语言实现 竖式问题

竖式问题。
找出所有形如abc*de（三位数乘以两位数）的算式，使得在完整的竖式中，所有数字都属于一个特定的数字集合。
输入数字集合（相邻数字之间没有空格），输出所有竖式。
每个竖式前应有编号，之后应有一个空行。
最后输出解的总数。
具体格式见样例输出（为了便于观察，竖式中的空格改用小数点显示，但所写程序中应该输出空格，而非小数点）。
样例输入：2357
样例输出：
<1>
…775
X…33
-----
.2325
2325.
-----
25575

The number of solutions = 1

---

该题采用字符串数组方式解决，首先双层循环枚举所有abcde的可能组合，对其abcd和abce的部分分别计算，以及abcde的最终结果，将他们利用sprintf()函数写入一个buffer字符串，并用buffer串的每一位去循环匹配输入的数字集合，若出现匹配无返回情况，即出现了数字集合外数字，不符合。
代码如下：

#include<stdio.h>
#include<string.h>

int main(){
    int count=0;
    char s[20],buffer[50];
    scanf("%s",s);
    for(int abc=100;abc<=999;abc++){
        for(int de=10;de<=99;de++){
            int x,y,z;
            x=abc*(de%10);
            y=abc*(de/10);
            z=abc*de;
            sprintf(buffer,"%d%d%d%d%d",abc,de,x,y,z);//字符串格式化命令，将格式化数据写入字符串中
            int ok=1;
            for(int i=0;i<strlen(buffer);i++){
                if(strchr(s,buffer[i])==NULL) ok=0;//strchr,匹配字符串中出现的第一个符合字符
            }
            if(ok==1){
                printf("<%d>\n",++count);
                printf("%5d\nX%4d\n-----\n%5d\n%-5d\n-----\n%5d\n\n",abc,de,x,y,z);
            }
        }
    }
    printf("The number of solutions = %d",count);
    return 0;
}