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