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