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