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