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