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