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