我还是比较赞同自己的,认为是17位!

#include<stdio.h> void main() { int a,b,c; long double count=0; for(a=1;a<=2001;a++) for(b=1;b<=2001;b++) for(c=1;c<=2001;c++) if(a!=b&&b!=c&&c!=a&&(a+b+c)%7!=0) count++; printf("%.0lf\n",count); getchar(); }