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