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