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