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