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