The manager of a music store ordered 20 new violins. She ordered some of two different models: the standard and the deluxe. Each
standard violin costs $500, and each deluxe violin costs $800. If the manager spent exactly $11,500 on these violins, how many deluxe violins did she order?