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