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