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