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