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