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