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