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