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