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