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