sidekick/tests/uuf100/uuf100-0438.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 
 -6 49 -88 0
-97 -51 74 0
-87 -62 -31 0
3 -62 67 0
-17 48 96 0
-87 28 -50 0
39 -9 32 0
-56 57 -72 0
50 -23 -33 0
40 69 -45 0
37 94 -87 0
-49 -14 100 0
17 -40 -82 0
-53 82 -84 0
8 -4 -25 0
-79 -90 -84 0
33 49 -3 0
41 26 -25 0
-73 81 -66 0
-37 -56 -3 0
51 77 45 0
24 74 93 0
11 -45 -29 0
-19 -40 -38 0
-84 -32 43 0
-43 -44 -18 0
32 2 25 0
-38 81 55 0
-93 -87 49 0
61 14 78 0
-90 50 -37 0
8 -29 -27 0
59 -94 -44 0
-24 59 -78 0
-8 96 -74 0
5 33 -29 0
-36 17 84 0
-25 7 -32 0
60 43 -57 0
-97 23 88 0
-50 -13 -63 0
34 88 -17 0
75 -43 -88 0
2 4 43 0
36 40 -22 0
55 60 -14 0
-66 100 72 0
39 -24 50 0
-11 69 15 0
87 43 72 0
-60 3 -79 0
58 -2 91 0
-37 23 64 0
97 58 98 0
43 98 -48 0
34 65 99 0
-3 95 36 0
-34 60 -42 0
27 -42 -48 0
-30 95 -55 0
-72 -42 -25 0
4 57 -56 0
60 -83 -38 0
91 7 -24 0
-96 62 -71 0
11 -10 -20 0
-97 85 -29 0
-31 -83 62 0
-51 74 -48 0
51 -7 -41 0
99 67 -89 0
92 98 -53 0
-99 80 59 0
1 -99 16 0
-29 24 -34 0
48 -43 -57 0
-5 -53 55 0
-34 73 83 0
-35 -33 29 0
78 -11 -25 0
-1 -27 -12 0
-15 67 -26 0
-74 57 72 0
87 83 37 0
17 11 28 0
11 -22 -33 0
96 -94 -62 0
-21 -36 -42 0
95 -79 73 0
-49 -11 16 0
84 -62 59 0
-12 -79 -31 0
-58 20 30 0
-89 6 -1 0
-67 -86 -4 0
-19 -47 17 0
15 75 -79 0
-40 4 98 0
-91 -16 -92 0
-17 -38 89 0
-18 47 -61 0
-9 83 40 0
-94 34 16 0
54 -26 -40 0
30 -93 29 0
63 9 -75 0
84 -12 -67 0
-40 60 -29 0
79 76 -90 0
9 -50 59 0
66 -30 -59 0
-23 -36 74 0
85 -97 100 0
-78 31 99 0
-33 -57 68 0
-41 -59 65 0
61 22 52 0
-75 95 -6 0
-98 -85 88 0
-14 -84 -92 0
-16 15 44 0
97 76 -64 0
-57 -85 -69 0
20 -57 62 0
42 66 -97 0
-19 63 87 0
-5 -39 -76 0
43 71 -12 0
25 86 -50 0
74 4 60 0
-26 -12 17 0
-93 61 79 0
-48 15 26 0
64 53 -82 0
-4 75 -62 0
65 22 -74 0
-11 31 27 0
10 57 45 0
-85 -98 100 0
-21 -2 -90 0
68 21 -16 0
8 50 -86 0
65 -47 -52 0
-57 67 -82 0
-72 53 82 0
-56 2 -58 0
26 -51 -46 0
-6 -49 30 0
42 -15 77 0
-4 42 -62 0
-23 58 97 0
77 -55 -91 0
5 71 -25 0
45 -69 -97 0
-31 -96 9 0
-87 -4 -70 0
23 -60 53 0
89 86 -13 0
-64 -86 -92 0
15 -74 -68 0
-93 58 49 0
98 -2 99 0
100 -68 6 0
8 -51 -99 0
-51 58 25 0
49 69 -52 0
22 -11 97 0
33 62 19 0
-52 99 47 0
8 85 89 0
-36 90 -70 0
-85 -36 -91 0
93 1 -45 0
-51 97 92 0
30 -55 10 0
-19 23 -40 0
-67 -93 -88 0
-41 -67 56 0
-78 28 98 0
95 -55 -100 0
-54 -92 9 0
45 46 -11 0
88 42 50 0
44 -5 -55 0
-86 -68 35 0
-71 24 -100 0
97 -62 24 0
91 82 -68 0
67 69 -98 0
2 -95 39 0
45 50 33 0
22 26 10 0
70 -24 85 0
-31 -78 -29 0
-53 -81 38 0
-34 9 79 0
98 -64 38 0
13 -20 26 0
80 -14 -13 0
9 18 80 0
-93 40 -48 0
99 -14 49 0
78 69 65 0
-39 98 61 0
49 -15 43 0
67 53 89 0
99 -23 -19 0
-91 37 -44 0
-3 79 -59 0
89 78 80 0
-81 -72 92 0
-74 83 -38 0
67 -20 -33 0
71 77 -52 0
-95 -29 -57 0
14 41 34 0
-20 -84 2 0
-54 -42 51 0
60 -22 2 0
90 46 71 0
9 33 -71 0
-62 57 64 0
94 -68 81 0
-69 13 54 0
-12 -13 -51 0
-12 69 3 0
63 73 97 0
65 -29 78 0
77 41 -44 0
-35 22 79 0
-56 -15 6 0
-98 -60 89 0
-4 -50 52 0
-12 72 -64 0
-21 37 -96 0
37 77 14 0
58 32 -70 0
71 29 -5 0
46 -22 -72 0
-84 -97 9 0
-79 -32 8 0
-3 -31 -74 0
-28 48 33 0
15 59 -3 0
-9 32 85 0
-66 58 -23 0
60 61 39 0
-60 -86 65 0
24 -70 -62 0
-3 -28 87 0
55 12 -25 0
72 3 -29 0
-63 -27 31 0
78 51 -95 0
-6 47 -19 0
95 91 85 0
9 -74 -30 0
2 -39 -97 0
-65 -70 -29 0
-50 -79 -20 0
41 -66 47 0
-53 93 -23 0
53 -30 38 0
-28 -27 -1 0
28 36 53 0
3 -45 -89 0
99 22 -65 0
-20 57 -23 0
-88 -33 -11 0
61 -16 32 0
37 67 79 0
-98 14 -71 0
-55 54 31 0
-62 -99 -69 0
70 -47 72 0
36 97 2 0
63 -19 -31 0
8 35 18 0
73 75 28 0
-97 16 60 0
4 -53 16 0
-21 -30 55 0
16 -70 -33 0
80 56 89 0
-17 19 -62 0
-88 97 92 0
84 88 -64 0
16 -92 -12 0
2 30 -62 0
38 -51 26 0
10 74 2 0
-15 -11 22 0
-57 -73 35 0
42 97 -38 0
-67 -55 20 0
-98 -87 80 0
-33 -4 -18 0
97 38 47 0
-40 47 -38 0
-46 16 -10 0
-72 5 -74 0
-58 -37 66 0
-49 88 -84 0
-37 58 -35 0
30 80 100 0
-26 -17 13 0
62 -25 53 0
-74 48 31 0
-47 -81 8 0
-66 84 -22 0
-74 49 -85 0
-2 11 -77 0
98 -12 -24 0
-78 -17 47 0
28 64 86 0
17 -2 58 0
53 89 -17 0
5 -40 67 0
95 46 52 0
43 59 14 0
-37 25 44 0
100 79 -20 0
71 12 -2 0
73 -34 16 0
-74 18 5 0
-29 -82 -37 0
5 -75 41 0
-86 -61 -59 0
-58 -70 32 0
19 -68 -24 0
-36 -83 51 0
-35 -60 -1 0
-23 -70 53 0
80 -15 19 0
18 5 80 0
-11 63 -17 0
-88 70 32 0
80 67 85 0
-81 28 57 0
-11 -57 -48 0
24 -9 -38 0
12 57 -42 0
59 -24 53 0
86 36 -29 0
85 45 25 0
8 -58 32 0
-18 -9 58 0
-46 -11 -25 0
100 -40 15 0
97 -66 94 0
-45 5 -87 0
77 68 93 0
-35 -74 56 0
-40 72 49 0
-3 98 -96 0
25 64 98 0
-95 15 16 0
-32 83 -17 0
96 81 -61 0
-74 38 -59 0
-62 -59 -41 0
8 63 94 0
-66 -81 -23 0
71 62 -46 0
-93 80 -18 0
-28 -10 69 0
-77 -41 -40 0
66 72 -4 0
19 100 -13 0
-42 85 -11 0
-20 43 71 0
-35 -89 -90 0
-55 54 -51 0
26 -19 -89 0
31 9 79 0
-3 21 -55 0
21 43 55 0
90 71 -96 0
29 -53 -16 0
-11 -22 -92 0
-2 65 13 0
-23 -58 -63 0
20 -57 -49 0
13 25 30 0
11 53 43 0
95 -44 69 0
-27 -23 63 0
68 19 -86 0
94 -47 7 0
-44 -84 1 0
-90 -80 -87 0
65 14 9 0
57 -71 -27 0
25 80 -8 0
-80 46 -65 0
23 -21 30 0
96 -44 30 0
13 -27 -3 0
100 95 -70 0
-88 -5 18 0
3 7 70 0
-49 13 -92 0
11 -29 -89 0
-3 -67 -53 0
-43 61 -83 0
-9 15 -75 0
27 -96 3 0
-79 -84 48 0
-26 -99 -82 0
56 -14 16 0
-6 -83 -44 0
71 -87 -73 0
-83 44 -40 0
-76 40 -37 0
10 -23 8 0
54 78 -80 0
-5 25 57 0
69 -12 -60 0
64 -38 40 0
-93 1 -71 0
36 3 -44 0
86 41 7 0
59 -87 48 0
-19 -59 47 0
-6 -51 -38 0
-42 87 88 0
-68 88 -65 0
-10 89 -69 0
66 -25 -23 0
-49 -87 -32 0