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