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