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