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