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