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