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