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