The SAT Game

^{by Olivier Roussel}

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

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

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

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

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