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