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