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