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