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