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