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