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