The SAT Game

^{by Olivier Roussel}

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

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

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

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

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