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