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