p cnf 81 89
1 9 0 
1 19 0 
1 73 0 
2 6 0 
2 56 0 
2 65 0 
5 7 0 
7 43 0 
7 79 0 
10 13 0 
10 17 0 
12 66 0 
13 17 0 
13 76 0 
16 25 0 
17 44 0 
19 73 0 
20 38 0 
21 27 0 
21 30 0 
24 25 0 
24 60 0 
26 53 0 
29 36 0 
31 33 0 
31 35 0 
31 49 0 
33 35 0 
36 72 0 
37 46 0 
38 42 0 
43 79 0 
46 53 0 
47 49 0 
56 63 0 
56 65 0 
59 68 0 
66 70 0 
66 71 0 
70 71 0 
71 80 0 
74 79 0 
-1 -2 0 
-5 -6 0 
-6 -7 0 
-12 -13 0 
-16 -17 0 
-19 -20 0 
-20 -21 0 
-24 -25 0 
-25 -26 0 
-26 -27 0 
-29 -30 0 
-30 -31 0 
-35 -36 0 
-37 -38 0 
-42 -43 0 
-43 -44 0 
-46 -47 0 
-59 -60 0 
-65 -66 0 
-70 -71 0 
-71 -72 0 
-73 -74 0 
-79 -80 0 
-1 -10 0 
-10 -19 0 
-37 -46 0 
-20 -29 0 
-29 -38 0 
-38 -47 0 
-47 -56 0 
-56 -65 0 
-65 -74 0 
-12 -21 0 
-21 -30 0 
-59 -68 0 
-24 -33 0 
-33 -42 0 
-7 -16 0 
-16 -25 0 
-70 -79 0 
-17 -26 0 
-26 -35 0 
-35 -44 0 
-44 -53 0 
-71 -80 0 
-27 -36 0 
-63 -72 0 
