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