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