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