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