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