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