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