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