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