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