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