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