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