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