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