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