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