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