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