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