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