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