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