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