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