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