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