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