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