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