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