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