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