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