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