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