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