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