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