The SAT Game

^{by Olivier Roussel}

		4	7	-8
		3	2	-6
		3	1	-9
		-4	2	6
		7	-6	8
		6	-3	5
		3	-8	-5
		-5	-1	7
		5	7	-9
		4	1	7

		1	9	5
		1	3	7
		9	-1	3
		-1	-8	3
		5	2	-1
		8	-4	-7
		7	-1	-9
		6	-4	2
		1	-6	-7
		4	-9	-5

		-1	9	-2
		3	-1	-4
		6	5	-8
		-4	-7	2
		4	8	9
		3	-5	2
		2	-9	-3
		-5	8	3
		-8	-3	-6
		-8	5	-4

		6	-3	1
		9	2	-7
		2	6	-8
		7	-1	2
		-1	3	4
		8	7	-6
		7	5	-4
		-5	-9	-3
		3	-8	2
		9	-3	4

		-1	9	8
		2	8	-6
		2	1	-4
		-7	-6	-5
		-9	6	-2
		-7	1	8
		2	9	4
		-7	2	1
		4	-2	-8
		6	-5	9