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