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