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