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