趣味100道C语言编程题num thirteen

8除不尽的自然数：一个自然数被8除余1，所得的商被8除也余1，再将第二次的商被8除后余7，最后得到一个商为a。又知这个自然数被17除余4，所得的商被17除余15，最后得到一个商是a的2倍。求这个自然数。

#include 

int main(void)
{
    int num;
    int a;

    for(a = 0;((a * 8 + 7) * 8 + 1) * 8 + 1 != (2 * a * 17 + 15) * 17 + 4; a++)
    {
     ; 
    }

    num = (2 * a * 17 + 15) * 17 + 4;
    printf("The number is:%d\n",num);

    return 0;
}

调试结果为：

The number is:1993