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