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