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