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