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