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