sidekick/tests/uuf100/uuf100-0983.cnf

c This Formular is generated by mcnf
c
c    horn? no 
c    forced? no 
c    mixed sat? no 
c    clause length = 3 
c
p cnf 100  430 
 -69 -49 -7 0
-25 30 -23 0
48 -27 71 0
57 -23 85 0
66 -24 -86 0
-74 -45 46 0
-61 -20 -59 0
39 -40 -91 0
50 -36 78 0
-68 33 60 0
-50 -20 -81 0
-24 61 -96 0
45 -82 28 0
-91 -40 43 0
-5 -42 -65 0
44 8 -80 0
62 68 52 0
88 -92 -68 0
-14 -22 17 0
-88 38 -67 0
51 74 -61 0
87 74 35 0
77 4 38 0
19 40 41 0
61 -10 74 0
81 12 -79 0
10 -28 -65 0
90 -42 85 0
-46 5 -51 0
-24 99 82 0
-3 6 -54 0
72 57 -24 0
17 91 30 0
-12 64 -20 0
35 -74 -58 0
59 -73 89 0
9 -26 -94 0
20 -78 85 0
-66 90 85 0
86 -89 -1 0
-61 -32 73 0
82 -12 -3 0
-32 51 -82 0
47 -19 -49 0
-75 -56 52 0
59 -18 42 0
40 -72 39 0
39 -16 -62 0
-3 -43 -10 0
-15 48 -35 0
76 81 -10 0
-45 -52 -71 0
-94 -32 -70 0
-47 54 -9 0
-36 -19 -30 0
-63 -60 33 0
71 22 -96 0
-97 -98 -22 0
33 -99 27 0
-23 -90 50 0
5 -22 -94 0
-81 64 -92 0
-66 -2 93 0
-60 100 -44 0
-16 63 87 0
-99 -20 -68 0
-63 37 25 0
50 -79 -31 0
87 25 97 0
28 -27 100 0
61 -90 -35 0
89 -44 28 0
-43 -47 -20 0
-71 75 11 0
3 33 47 0
-17 7 28 0
-42 24 53 0
10 -80 -96 0
14 -22 -60 0
-45 -92 97 0
-29 -10 -49 0
66 -2 7 0
-68 80 -23 0
48 22 -97 0
-71 -91 -76 0
-9 -11 79 0
40 32 -47 0
-16 -90 -13 0
27 -19 -83 0
-3 55 44 0
77 47 91 0
74 -45 -69 0
11 -10 -68 0
-10 15 83 0
60 50 2 0
15 95 -84 0
34 2 41 0
80 -33 43 0
-12 -65 -45 0
42 17 -41 0
-81 35 -54 0
62 -73 84 0
-36 54 -38 0
-9 12 57 0
-46 -48 30 0
-45 72 83 0
-80 -98 -95 0
68 35 22 0
-98 -21 34 0
-68 20 -88 0
46 51 -50 0
51 -29 -83 0
13 -59 16 0
-56 63 49 0
30 -85 43 0
95 -27 100 0
30 -7 -77 0
94 -63 -26 0
-37 52 -53 0
-9 -71 53 0
-100 83 62 0
47 -57 -23 0
90 -62 37 0
-6 -9 85 0
-27 -3 -97 0
-15 -54 -67 0
92 99 50 0
88 12 -80 0
57 -33 -59 0
-66 -18 55 0
46 -12 62 0
-5 -79 13 0
-72 81 -46 0
-2 61 -5 0
-13 67 14 0
-75 24 36 0
92 -89 -62 0
-18 -63 41 0
71 28 18 0
44 96 28 0
86 -100 -62 0
71 78 61 0
-28 42 -5 0
-81 82 100 0
12 -57 24 0
78 -53 48 0
-11 -46 12 0
14 -5 -77 0
-91 -53 -68 0
19 -62 37 0
90 77 57 0
-71 -27 -77 0
-17 12 58 0
80 21 83 0
-28 -30 -94 0
68 -61 -71 0
55 68 13 0
85 -66 -22 0
-72 -39 -74 0
-87 -14 -80 0
-46 45 44 0
-25 -10 -42 0
-40 -24 75 0
55 21 -100 0
-95 -21 -98 0
-47 45 -27 0
-20 -39 78 0
-14 35 60 0
15 -71 -64 0
-99 73 -92 0
79 -94 35 0
-74 -3 -88 0
88 -79 16 0
-91 -81 -3 0
25 -95 -54 0
6 -70 -93 0
-90 49 79 0
-59 88 -22 0
7 -27 -68 0
90 4 58 0
44 -25 -17 0
-13 55 40 0
-35 -90 -28 0
43 -70 -90 0
74 -69 -31 0
-56 -18 -96 0
-5 -37 -27 0
-30 58 -94 0
28 -91 47 0
12 38 -89 0
21 -5 -99 0
4 -1 -18 0
-96 27 -43 0
-47 -39 54 0
-9 89 60 0
-78 -52 14 0
-57 72 12 0
59 -97 35 0
65 33 -85 0
-40 34 -50 0
-8 33 22 0
40 -73 -44 0
-73 -70 86 0
-38 89 -16 0
-94 -47 27 0
100 -85 40 0
-53 8 -12 0
47 -93 55 0
-63 -4 100 0
-55 52 60 0
88 -45 -22 0
-66 18 97 0
63 -60 -10 0
28 54 79 0
41 -87 89 0
-37 -54 77 0
47 46 -60 0
-60 86 32 0
45 -31 77 0
60 -99 -95 0
-81 -36 -15 0
-99 -41 58 0
44 -50 -62 0
-57 83 -61 0
-38 39 64 0
66 -73 39 0
-22 -7 75 0
-10 34 88 0
55 -2 -23 0
83 19 2 0
71 -70 -13 0
43 -15 -86 0
56 -5 -9 0
83 30 57 0
-67 -27 -56 0
8 -44 30 0
-99 96 38 0
-59 68 38 0
-23 -93 -42 0
-16 64 -13 0
-32 -39 -29 0
84 57 -76 0
-54 -99 -56 0
4 -89 -59 0
31 -84 19 0
-28 87 89 0
37 -31 4 0
-1 -7 42 0
-23 1 -97 0
-37 76 48 0
-5 46 89 0
40 -39 67 0
87 53 26 0
36 32 -23 0
96 50 -44 0
46 9 8 0
70 -42 -49 0
-56 -71 -52 0
4 -34 93 0
94 61 -56 0
99 -50 -69 0
-15 -54 -12 0
63 46 -66 0
-75 -30 -97 0
73 -50 23 0
-89 -85 -77 0
28 -6 14 0
35 31 -49 0
-65 -20 -4 0
23 -59 -9 0
73 76 -80 0
9 -61 76 0
-25 35 75 0
-48 -100 39 0
11 -84 19 0
-2 -47 -94 0
60 -39 82 0
73 -57 80 0
-7 15 -79 0
-50 -23 8 0
80 40 -14 0
-89 -58 -16 0
-76 -68 54 0
-82 81 -44 0
-49 -97 -6 0
-78 -54 -39 0
-69 73 15 0
81 -18 -77 0
64 55 -32 0
-91 64 75 0
96 -97 -3 0
92 57 59 0
-15 -21 -18 0
-43 19 -45 0
52 17 23 0
-75 8 40 0
65 33 84 0
23 54 -43 0
-32 -87 17 0
-36 13 -60 0
2 -14 81 0
-68 -56 -51 0
1 -47 17 0
73 79 -31 0
84 -52 32 0
-44 -4 85 0
52 50 -62 0
-77 -29 -2 0
7 -42 71 0
10 75 -61 0
46 61 54 0
-37 -96 98 0
-53 -75 54 0
47 74 -65 0
-27 -20 29 0
38 6 91 0
-72 46 -36 0
-22 -19 14 0
22 -59 -100 0
-65 89 83 0
-89 -55 -34 0
-17 62 -29 0
13 53 -92 0
-61 -50 36 0
-16 53 93 0
-27 -93 -96 0
-44 89 -48 0
45 -53 -32 0
13 -39 -10 0
53 15 -51 0
-86 -39 48 0
68 42 8 0
95 -59 -100 0
-87 -7 16 0
95 -8 30 0
100 38 -80 0
-66 87 20 0
20 96 -92 0
98 9 93 0
-28 99 55 0
-99 -43 -44 0
-57 55 49 0
-9 -48 -46 0
-86 -65 -76 0
-26 -5 79 0
86 61 -65 0
92 -95 9 0
90 -79 -84 0
-4 64 -15 0
60 67 -97 0
60 -32 -19 0
-78 -53 52 0
22 83 -1 0
-57 22 -44 0
-64 -60 -52 0
19 -57 -29 0
95 58 43 0
-69 -66 17 0
-50 -27 -57 0
77 61 16 0
-26 -40 68 0
-44 73 6 0
21 -88 -15 0
73 -8 12 0
-85 77 -71 0
-12 -30 32 0
28 27 -81 0
-82 -33 88 0
-81 -42 -53 0
-3 -54 29 0
65 63 96 0
-72 -85 -4 0
-17 73 -81 0
-28 71 -55 0
51 -52 -30 0
69 -47 -89 0
-84 64 -77 0
-73 64 -34 0
-15 -77 23 0
-26 25 -96 0
48 98 27 0
29 -94 81 0
-67 54 93 0
-52 -22 -19 0
19 -16 18 0
95 -18 -43 0
38 -83 47 0
48 -54 -81 0
82 -6 10 0
93 97 -16 0
-56 5 -4 0
-51 -63 40 0
25 -29 81 0
94 50 40 0
3 -42 15 0
5 7 -31 0
66 -57 -19 0
32 -78 -29 0
-47 -76 -46 0
4 82 -37 0
-43 5 -95 0
29 -79 56 0
-47 15 -87 0
72 -73 46 0
12 -62 6 0
36 -22 10 0
-30 -24 -2 0
-94 -18 99 0
-50 -64 -98 0
19 93 -17 0
30 77 18 0
62 36 63 0
-15 24 -46 0
45 -80 69 0
-58 -54 42 0
11 -70 -54 0
12 3 74 0
47 32 66 0
86 -28 6 0
-83 42 71 0
76 -6 61 0
36 93 30 0
-31 72 70 0
33 99 45 0
68 -7 75 0
45 -47 -16 0
-33 8 89 0
-100 47 -85 0
87 76 96 0
65 81 -27 0