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