A hardware store packages handyman bags of screws, bolts, nuts, and washers. Screws come in 100-lb boxes and cost $120 each, bolts come in 100-lb boxes and cost $175 each, nuts come in 80-lb boxes and cost $75 each, and washers come in 30-lb boxes and cost $25 each.

The handyman package weighs at least 1 lb and must include, by weight, at least 10% screws and 25% bolts, and at most 15% nuts and 10% washers. To balance the package, the number of bolts cannot exceed the number of nuts or the number of washers. A bolt weighs 10 times as much as a nut and 50 times as much as a washer. Develop an LP model to determine the optimal mix of the package, and find the solution using AMPL, Solver, or TORA.