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