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