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