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