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