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