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