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