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