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