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