竖式问题

/*
竖式问题 输入一个特定的数字集合，计算并输出所有满足要求的竖式。要求是abc*de（一个三位数乘以一个二位数）的竖式中
出现的所有数字均在集合中。输出时要个按照格式。 
解题思路 首先读入数字集合，枚举每个三位数乘以每个二位数，如果满足条件输出并计数。 

另外读书总结
    int cou=0;
    printf("%d %d %d\n",cou++,cou++,cou++);//输出结果为2 1 0，编译原理something..  
*/
#include<cstdio>
#include<cstring>
int ok(char *s,char *buf);

int main()
{
    char s[25],buf[50];
    int abc,de,d,e,x,y,z,t=1,cou;
    while(scanf("%s",s) != EOF){
        //puts(s);
        printf("<%d>\n",t);
        cou=0;
        for(abc=100; abc<=999; abc++){
            for(de=10;de<=99;de++){
                d=de/10;
                e=de%10;
                x=abc*e;
                y=abc*d;
                z=abc*de;
                sprintf(buf,"%d%d%d%d",abc,de,x,y,z);//sprintf函数的使用 
                if(ok(s,buf)){
                    cou++;
                    //格式控制 
                    printf("%5d\nX%4d\n-----\n%5d\n%4d\n-----\n%5d\n\n",abc,de,x,y,z);
                }
            }
        }
        printf("在该数字集合下总共有%d种结论\n",cou);
        t++;
    } 
    return 0;    
} 

int ok(char *s,char *buf)
{
    int i,l=strlen(buf);
    for(i=0;i<l;i++){
        if(strchr(s,buf[i]) == NULL)//strchr的使用 
            return 0;
    }
    return 1;
}