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