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