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