A man ordered 4 times as many boxes of ballpoint pens as boxes of​ felt-tip pens. Ballpoint pens cost ​$4.34 per​ box, and​ felt-tip pens cost ​$3.41. If the​ man's order of pens totaled ​$83.08​, how many boxes of each type of pen did he​ buy?