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