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