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