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