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