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