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