c语言问题Beautiful Year

2013是1987年之后第一个Beautiful Year，也就是说2013由四个不同的数字构成，现在你的任务是，给你一个数字y，请你写出第一个严格大于y的第一个数字，并且它由不同的数字组成。Input
输入为多组数据，每组一个整数y(1000<=y<=9000)。
Output
每组输出占一行，为大于y的第一个Beautiful Year

Sample Input
2013
Sample Output
2014

#include 
#include 
int main(void)
{
char string[5];
printf("Sample Input\n");
int num;
scanf("%d", &num);
while(1)
{
num += 1;
sprintf(string,"%d",num);
if(string[0] != string[1] && string[0] != string[2] && string[0] != string[3])
{
printf("Sample Output\n%d", num);
break;
}
}
return 0;
}

#include  bool isbeautiful(int y){ int a[10] = {0}; while(y){ if(a[y%10]) return false; a[y%10] = 1; y /= 10; } return true; } int main(){ int y; scanf("%d", &y); y++; while(