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