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