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