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