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