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