Claudio a banking vice president took 17 neckties to Milto Cleaners. The rate for non silk ties is $3.25 per tie and for silk ties is $3.60 per tie. His total bill was $58.75. How many silk ties did he have dry cleaned?