The SAT Game

^{by Olivier Roussel}

		-23	30
		27	21
		15	-21
		34	-13
		-12	14
		-36	37
		17	39
		-35	-21
		23	-7
		33	30

		4	31
		-24	16
		5	-28
		-33	-18
		40	29
		-36	-18
		-40	-38
		-32	-15
		-6	4
		28	-33

		11	3
		-18	-28
		37	25
		10	14
		12	-23
		39	13
		15	-6
		8	34
		17	-18
		-21	8

		5	-3
		-1	12
		-7	-9
		-7	1
		-17	16
		-11	27
		39	17
		-28	23
		8	39
		-20	-30

		8	32
		2	-8
		-12	1
		-22	-39
		31	-38
		-40	36
		34	39
		-34	-18
		23	22
		14	38

		-5	-26
		-15	35
		25	19
		-28	37
		-11	-21
		-25	-18
		26	11
		-11	14
		-29	-40
		-23	9