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