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