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