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