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