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