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