The SAT Game

^{by Olivier Roussel}

		-40	26
		-7	-33
		29	-22
		-40	-19
		-36	-23
		-11	20
		12	-20
		-25	-24
		-7	-16
		-16	-10

		-20	25
		-39	2
		23	-38
		-29	36
		9	-17
		22	32
		36	-27
		-16	22
		10	-36
		28	29

		-13	33
		-24	-35
		15	40
		-28	-11
		-11	18
		-28	1
		-17	-36
		2	-27
		15	34
		-25	32

		-2	-23
		-11	-32
		33	-31
		-6	40
		-6	1
		26	23
		-39	-40
		36	39
		21	-18
		-33	30

		-31	-9
		-11	-38
		-37	-4
		5	-6
		8	23
		-4	8
		-4	-30
		-40	-3
		-16	-24
		-8	15

		39	-35
		-29	28
		17	-25
		6	32
		-19	9
		9	-31
		33	-21
		-20	-24
		37	-1
		-27	-20