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