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