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