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