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