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