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