竖式问题

找出所有形如abc*de(三位数乘以两位数)的算式，使得在完整的竖式中，所有的数字都属于一个特定的集合。

#include<stdio.h>
#include<string.h>
int main()
{
	char s[20], buf[99];
	int count = 0;
	int abc, de, x, y, z;
	int ok, i;
	scanf("%s", s);
	for (abc = 111; abc <= 999; abc++)
	{
		for (de = 11; de <= 99; de++)
		{
			x = abc * (de % 10);
			y = abc * (de / 10);
			z = abc * de;
			sprintf(buf, "%d%d%d%d%d", abc, de, x, y, z);
			ok = 1;
			for (i = 0; i < strlen(buf); i++)
			{
				if (strchr(s, buf[i]) == NULL)
				{
					ok = 0;
				}
			} 
			if (ok)
			{
				printf("<%d>\n", ++count);
				printf("%5d\nX%4d\n----\n%5d\n%4d\n----\n%5d\n\n", abc, de, x, y, z);
			}
		}
	}
	return 0;
}