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