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