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