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