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