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