谁家孩子

一天，三家的九个孩子在一起比赛短跑，规定不分年龄大小， 跑第一得 9 分，跑第 2 得 8 分，依此类推。比赛结果各家的总分相同，且这些孩子没有同时到达终点的，也没有一家的两个或三个孩子获得相连的名次。已知获第一名的是李家的孩子， 获得第二的是王家的孩子。问获得最后一名的是谁家的孩子？

#include <stdio.h>

int main(void)
{
	int l1, l2, w1, w2, o1, o2, o3;
	
	for (l1=1; l1<6; ++l1)
		for (l2=1; l2<6; ++l2)
			for (w1=1; w1<7; ++w1)
				for (w2=1; w2<7; ++w2)
					for (o1=1; o1<8; ++o1)
						for (o2=1; o2<8; ++o2)
							if (l1 != l2 && l1 != w1 && l1 != w2 && l1 != o1 && l1 != o2
								&& l2 != w1 && l2 != w2 && l2 != o1 && l2 != o2 
								&& w1 != w2 && w1 != o1 && w1 != o2
								&& w2 != o1 && w2 != o2
								&& o1 != o2	&& l1 + l2 == 6 && w1 + w2 == 7
								&& l2 - l1 != 1 && w2 - w1 != 1
								&& o1 + o2 == 8 && o2 - o1 != 1 && o1 != 6 && o2 != 6) {
								printf("李家  9  %d  %d\n", l1, l2);
								printf("王家  8  %d  %d\n", w1, w2);
								printf("另外一家  7  %d  %d\n", o1, o2);
								putchar('\n');
								exit(-1);
							}
						
	return 0;
}