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