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