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