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